Coding of pictures containing slices and tiles

ABSTRACT

Techniques for video processing, including video coding, video decoding and video transcoding are described. One example method includes performing a conversion between a video picture that includes one or more tiles and one or more rectangular slices and a bitstream of the video according to a rule. The rule specifies that, for iteratively determining information about the one or more rectangular slices, a variable indicating a tile index is updated only for slices having indices that are smaller than a value equal to a number of slices in the video picture minus 1.

CROSS REFERENCE TO RELATED APPLICATIONS

This application is a continuation of International Patent Application No. PCT/CN2021/077220 filed on Feb. 22, 2021, which claims the priority to and benefits of International Patent Application No. PCT/CN2020/076158, filed on Feb. 21, 2020, and International Patent Application No. PCT/CN2020/082283, filed on Mar. 31, 2020. All the aforementioned patent applications are hereby incorporated by reference in their entireties.

TECHNICAL FIELD

This patent document relates to image and video coding and decoding.

BACKGROUND

Digital video accounts for the largest bandwidth use on the internet and other digital communication networks. As the number of connected user devices capable of receiving and displaying video increases, it is expected that the bandwidth demand for digital video usage will continue to grow.

SUMMARY

The present document discloses techniques that can be used by video encoders and decoders for processing coded representation of video using control information useful for decoding of the coded representation.

In one example aspect, a video processing method is disclosed. The method includes performing a conversion between a video picture that comprises one or more tiles and one or more rectangular slices and a bitstream of the video according to a rule. The rule specifies that, for iteratively determining information about the one or more rectangular slices, a variable indicating a tile index is updated only for slices having indices that are smaller than a value that is equal to a number of slices in the video picture minus 1.

In another example aspect, a video processing method is disclosed. The method includes performing a conversion between a video picture that comprises one or more sub-pictures and a bitstream of the video. The conversion conforms to a rule specifying that a syntax element in a sequence parameter set indicating a number of sub-pictures in the video picture is omitted in case a maximum picture width and a maximum picture height are equal to or smaller than a dimension of a coding tree block.

In another example aspect, a video processing method is disclosed. The method includes performing a conversion between a video picture that comprises one or more tiles and a bitstream of the video. The conversion conforms to a rule specifying that a syntax element that indicates a number of explicitly provided tile column widths is omitted in the bitstream in case a width of the video picture is equal to or smaller than a dimension of a coding tree block.

In another example aspect, a video processing method is disclosed. The method includes performing a conversion between a video picture that comprises one or more tiles and a bitstream of the video. The conversion conforms to a rule specifying that a syntax element that indicates a number of explicitly provided tile row heights is omitted in the bitstream in case a height of the video picture is equal to or smaller than a dimension of a coding tree block.

In another example aspect, a video processing method is disclosed. The method includes performing a conversion between a video picture that comprises one or more tiles and a bitstream of the video. The conversion conforms to a rule specifying that one or more syntax elements indicating column widths of the one or more tiles are omitted in the bitstream in case a number of explicitly provided tile column widths is equal to a picture width in a unit of coding tree blocks.

In another example aspect, a video processing method is disclosed. The method includes performing a conversion between a video picture that comprises one or more tiles and a bitstream of the video. The conversion conforms to a rule specifying that one or more syntax elements indicating row heights of one or more tiles are omitted in the bitstream in case a number of explicitly provided tile row heights is equal to a picture height in a unit of coding tree blocks.

In another example aspect, a video processing method is disclosed. The method includes performing a conversion between a video picture that comprises one or more slices and a bitstream of the video. The conversion conforms to a rule specifying that slice partitioning information is included in the bitstream.

In another example aspect, a video processing method is disclosed. The method includes performing a conversion between a video tile that comprises one or more rectangular slices and a bitstream of the video according to a rule. The rule specifies that a uniform slice height is determined based on a first syntax element that specifies a height of a rectangular slice in the video tile in units of coding tree unit rows and a second syntax element that specifies a number of explicitly provided slice heights in the video tile.

In another example aspect, a video processing method is disclosed. The method includes performing a conversion between a video picture that comprises one or more tiles and a bitstream of the video according to a rule. The rule specifies that a syntax element is equal to or greater than a dimension of a uniform tile column or row. The syntax element indicates a dimension in a unit of coding tree blocks excluding a total dimension of a number of explicitly provided tile column widths or row heights.

In another example aspect, a video processing method is disclosed. The method includes performing a conversion between a video tile that comprises one or more slices and a bitstream of the video according to a rule. The rule specifies that a syntax element is equal to or greater than a height of a uniform slice. The syntax element indicates a height in a unit of coding tree blocks excluding a total height of a number of explicitly provided slice heights.

In another example aspect, a video processing method is disclosed. The method includes performing a conversion between a video and a bitstream of the video according to a rule. The rule specifies that a syntax element is used for the conversion to indicate a maximum number of affine merging candidates allowed in a subblock-based merging candidate list.

In another example aspect, a video processing method is disclosed. The method includes performing a conversion between a video comprising one or more video pictures, wherein each video picture comprises one or more subpictures that comprise one or more slices and a coded representation of a video, wherein the coded representation conforms to a format rule; wherein the format rule specifies that, in case that a rectangular slices mode is enabled for a video picture, then a picture-level slice index for each slice in each subpicture in the video picture is derived without explicit signaling in the coded representation; and wherein the format rule specifies that a number of coding tree units in each slice is derivable from the picture-level slice index.

In another example aspect, another video processing method is disclosed. The method includes performing a conversion between a video comprising one or more video pictures, wherein each video picture comprises one or more subpictures that comprise one or more slices and a coded representation of a video, wherein the coded representation conforms to a format rule; wherein the format rule specifies that a subpicture level slice index is derivable based on information in the coded representation without signaling the sub-picture level slice index in the coded representation.

In another example aspect, another video processing method is disclosed. The method includes performing a conversion between a video comprising one or more video pictures, wherein each video picture comprises one or more subpictures and/or one or more tiles and a coded representation of a video, wherein the coded representation conforms to a format rule; and wherein the conversion conforms to a constraint rule.

In another example aspect, another video processing method is disclosed. The method includes performing a conversion between a video comprising one or more video pictures, wherein each video picture comprises one or more tiles and/or one more slices; wherein the coded representation conforms to a format rule; wherein the format rule specifies that a field at a video picture level carries information about portioning of slices and/or tiles in the video picture.

In another example aspect, another video processing method is disclosed. The method includes performing a conversion between a video comprising one or more pictures and a coded representation of the video, wherein the conversion conforms to a partitioning rule that a minimum number of slices in which a video picture is partitioned is a function of whether rectangular partitioning is used for partitioning the video picture.

In another example aspect, another video processing method is disclosed. The method includes performing a conversion between a video slice of a video region of a video and a coded representation of the video; wherein the coded representation conforms to a format rule; wherein the format rule specifies that the coded representation signals the video slice based on a top-left location of the video slice and wherein the format rule specifies that the coded representation signals a height and/or a width of the video slice in partitioning information that is signaled at a video unit level.

In another example aspect, another video processing method is disclosed. The method includes performing a conversion between a video comprising video pictures and a coded representation of the video; wherein the coded representation conforms to a format rule; wherein the format rule specifies to omit signaling a different between a tile index of a first tile in a rectangular slice and a tile index of a first tile in a next rectangular slice.

In another example aspect, another video processing method is disclosed. The method includes performing a conversion between a video and a coded representation of the video, wherein the coded representation conforms to a format rule, wherein the format rule specifies that a relationship between a width of a video picture and a size of a coding tree unit controls signaling of information used for deriving a number of tile columns or rows in the video picture.

In another example aspect, another video processing method is disclosed. The method includes performing a conversion between a video comprising one or more video pictures and a coded representation of the video, wherein the coded representation conforms to a format rule, wherein the format rule specifies that a tile layout information is included in the coded representation for a video picture that comprises uniform spacing tiles and non-uniform spacing tiles.

In yet another example aspect, a video encoder apparatus is disclosed. The video encoder comprises a processor configured to implement above-described methods.

In yet another example aspect, a video decoder apparatus is disclosed. The video decoder comprises a processor configured to implement above-described methods.

In yet another example aspect, a computer readable medium having code stored thereon is disclose. The code embodies one of the methods described herein in the form of processor-executable code.

These, and other, features are described throughout the present document.

BRIEF DESCRIPTION OF DRAWINGS

FIG. 1 shows an example of raster scan slice partitioning of a picture, where the picture is divided into 12 tiles and 3 raster scan slices.

FIG. 2 shows an example of rectangular slice partitioning of a picture, where the picture is divided into 24 tiles (6 tile columns and 4 tile rows) and 9 rectangular slices.

FIG. 3 shows an example of a picture partitioned into tiles and rectangular slices, where the picture is divided into 4 tiles (2 tile columns and 2 tile rows) and 4 rectangular slices.

FIG. 4 shows a picture that is partitioned into 15 tiles, 24 slices and 24 subpictures.

FIG. 5 shows a nominal vertical and horizontal locations of 4:2:2 luma and chroma samples in a picture.

FIG. 6 shows an example of picture partitioning. Blue lines represent boundaries of tiles; green lines represent boundaries of slices and Red dashed lines represent boundaries of subpictures. The picture-level indices, decoding order indices, subpicture-level indices of the four slices and the indices of subpictures and tiles are indicated in the figure.

FIG. 7 is a block diagram of an example video processing system.

FIG. 8 is a block diagram of a video processing apparatus.

FIG. 9 is a flowchart for an example method of video processing.

FIG. 10 is a block diagram that illustrates a video coding system in accordance with some embodiments of the present disclosure.

FIG. 11 is a block diagram that illustrates an encoder in accordance with some embodiments of the present disclosure.

FIG. 12 is a block diagram that illustrates a decoder in accordance with some embodiments of the present disclosure.

FIG. 13 is a flowchart representation of a method for video processing in accordance with the present technology.

FIG. 14 is a flowchart representation of another method for video processing in accordance with the present technology.

FIG. 15 is a flowchart representation of another method for video processing in accordance with the present technology.

FIG. 16 is a flowchart representation of another method for video processing in accordance with the present technology.

FIG. 17 is a flowchart representation of another method for video processing in accordance with the present technology.

FIG. 18 is a flowchart representation of another method for video processing in accordance with the present technology.

FIG. 19 is a flowchart representation of another method for video processing in accordance with the present technology.

FIG. 20 is a flowchart representation of another method for video processing in accordance with the present technology.

FIG. 21 is a flowchart representation of another method for video processing in accordance with the present technology.

FIG. 22 is a flowchart representation of another method for video processing in accordance with the present technology.

FIG. 23 is a flowchart representation of yet another method for video processing in accordance with the present technology.

DETAILED DESCRIPTION

Section headings are used in the present document for ease of understanding and do not limit the applicability of techniques and embodiments disclosed in each section only to that section. Furthermore, H.266 terminology is used in some description only for ease of understanding and not for limiting scope of the disclosed techniques. As such, the techniques described herein are applicable to other video codec protocols and designs also.

1. OVERVIEW

This document is related to video coding technologies. Specifically, it is about signaling of subpictures, tiles, and slices. The ideas may be applied individually or in various combination, to any video coding standard or non-standard video codec that supports multi-layer video coding, e.g., the being-developed Versatile Video Coding (VVC).

2. ABBREVIATIONS

-   -   APS Adaptation Parameter Set     -   AU Access Unit     -   AUD Access Unit Delimiter     -   AVC Advanced Video Coding     -   CLVS Coded Layer Video Sequence     -   CPB Coded Picture Buffer     -   CRA Clean Random Access     -   CTU Coding Tree Unit     -   CVS Coded Video Sequence     -   DPB Decoded Picture Buffer     -   DPS Decoding Parameter Set     -   EOB End Of Bitstream     -   EOS End Of Sequence     -   GDR Gradual Decoding Refresh     -   HEVC High Efficiency Video Coding     -   HRD Hypothetical Reference Decoder     -   IDR Instantaneous Decoding Refresh     -   JEM Joint Exploration Model     -   MCTS Motion-Constrained Tile Sets     -   NAL Network Abstraction Layer     -   OLS Output Layer Set     -   PH Picture Header     -   PPS Picture Parameter Set     -   PTL Profile, Tier and Level     -   PU Picture Unit     -   RB SP Raw Byte Sequence Payload     -   SEI Supplemental Enhancement Information     -   SPS Sequence Parameter Set     -   SVC Scalable Video Coding     -   VCL Video Coding Layer     -   VPS Video Parameter Set     -   VTM VVC Test Model     -   VUI Video Usability Information     -   VVC Versatile Video Coding

3. VIDEO CODING INTRODUCTION

Video coding standards have evolved primarily through the development of the well-known International Telecommunication Union—Telecommunication Standardization Sector (ITU-T) and International Organization for Standardization (ISO)/International Electrotechnical Commission (IEC) standards. The ITU-T produced H.261 and H.263, ISO/IEC produced Moving Picture Experts Group (MPEG)-1 and MPEG-4 Visual, and the two organizations jointly produced the H.262/MPEG-2 Video and H.264/MPEG-4 Advanced Video Coding (AVC) and H.265/High Efficiency Video Coding (HEVC) standards. Since H.262, the video coding standards are based on the hybrid video coding structure wherein temporal prediction plus transform coding are utilized. To explore the future video coding technologies beyond HEVC, the Joint Video Exploration Team (WET) was founded by Video Coding Experts Group (VCEG) and MPEG jointly in 2015. Since then, many new methods have been adopted by JVET and put into the reference software named Joint Exploration Model (JEM). The JVET meeting is concurrently held once every quarter, and the new coding standard is targeting at 50% bitrate reduction as compared to HEVC. The new video coding standard was officially named as Versatile Video Coding (VVC) in the April 2018 JVET meeting, and the first version of VVC test model (VTM) was released at that time. As there are continuous effort contributing to VVC standardization, new coding techniques are being adopted to the VVC standard in every JVET meeting. The VVC working draft and test model VTM are then updated after every meeting. The VVC project is now aiming for technical completion, Final Draft International Standard (FDIS), at the July 2020 meeting.

3.1. Picture Partitioning Schemes in HEVC

HEVC includes four different picture partitioning schemes, namely regular slices, dependent slices, tiles, and Wavefront Parallel Processing (WPP), which may be applied for Maximum Transfer Unit (MTU) size matching, parallel processing, and reduced end-to-end delay.

Regular slices are similar as in H.264/AVC. Each regular slice is encapsulated in its own NAL unit, and in-picture prediction (intra sample prediction, motion information prediction, coding mode prediction) and entropy coding dependency across slice boundaries are disabled. Thus, a regular slice can be reconstructed independently from other regular slices within the same picture (though there may still have interdependencies due to loop filtering operations).

The regular slice is the only tool that can be used for parallelization that is also available, in virtually identical form, in H.264/AVC. Regular slice-based parallelization does not require much inter-processor or inter-core communication (except for inter-processor or inter-core data sharing for motion compensation when decoding a predictively coded picture, which is typically much heavier than inter-processor or inter-core data sharing due to in-picture prediction). However, for the same reason, the use of regular slices can incur substantial coding overhead due to the bit cost of the slice header and due to the lack of prediction across the slice boundaries. Further, regular slices (in contrast to the other tools mentioned below) also serve as the key mechanism for bitstream partitioning to match MTU size requirements, due to the in-picture independence of regular slices and that each regular slice is encapsulated in its own network abstraction layer (NAL) unit. In many cases, the goal of parallelization and the goal of MTU size matching place contradicting demands to the slice layout in a picture. The realization of this situation led to the development of the parallelization tools mentioned below.

Dependent slices have short slice headers and allow partitioning of the bitstream at treeblock boundaries without breaking any in-picture prediction. Basically, dependent slices provide fragmentation of regular slices into multiple NAL units, to provide reduced end-to-end delay by allowing a part of a regular slice to be sent out before the encoding of the entire regular slice is finished.

In WPP, the picture is partitioned into single rows of coding tree blocks (CTBs). Entropy decoding and prediction are allowed to use data from CTBs in other partitions. Parallel processing is possible through parallel decoding of CTB rows, where the start of the decoding of a CTB row is delayed by two CTBs, so to ensure that data related to a CTB above and to the right of the subject CTB is available before the subject CTB is being decoded. Using this staggered start (which appears like a wavefront when represented graphically), parallelization is possible with up to as many processors/cores as the picture contains CTB rows. Because in-picture prediction between neighboring treeblock rows within a picture is permitted, the required inter-processor/inter-core communication to enable in-picture prediction can be substantial. The WPP partitioning does not result in the production of additional NAL units compared to when it is not applied, thus WPP is not a tool for MTU size matching. However, if MTU size matching is required, regular slices can be used with WPP, with certain coding overhead.

Tiles define horizontal and vertical boundaries that partition a picture into tile columns and rows. Tile column runs from the top of a picture to the bottom of the picture. Likewise, tile row runs from the left of the picture to the right of the picture. The number of tiles in a picture can be derived simply as number of tile columns multiply by number of tile rows.

The scan order of CTBs is changed to be local within a tile (in the order of a CTB raster scan of a tile), before decoding the top-left CTB of the next tile in the order of tile raster scan of a picture. Similar to regular slices, tiles break in-picture prediction dependencies as well as entropy decoding dependencies. However, they do not need to be included into individual NAL units (same as WPP in this regard); hence tiles cannot be used for MTU size matching. Each tile can be processed by one processor/core, and the inter-processor/inter-core communication required for in-picture prediction between processing units decoding neighboring tiles is limited to conveying the shared slice header in cases a slice is spanning more than one tile, and loop filtering related sharing of reconstructed samples and metadata. When more than one tile or WPP segment is included in a slice, the entry point byte offset for each tile or WPP segment other than the first one in the slice is signaled in the slice header.

For simplicity, restrictions on the application of the four different picture partitioning schemes have been specified in HEVC. A given coded video sequence cannot include both tiles and wavefronts for most of the profiles specified in HEVC. For each slice and tile, either or both of the following conditions must be fulfilled: 1) all coded treeblocks in a slice belong to the same tile; 2) all coded treeblocks in a tile belong to the same slice. Finally, a wavefront segment contains exactly one CTB row, and when WPP is in use, if a slice starts within a CTB row, it must end in the same CTB row.

A recent amendment to HEVC is specified in the Joint Collaborative Team on Video Coding (JCT-VC) output document JCTVC-AC1005, J. Boyce, A. Ramasubramonian, R. Skupin, G. J. Sullivan, A. Tourapis, Y.-K. Wang (editors), “HEVC Additional Supplemental Enhancement Information (Draft 4),” Oct. 24, 2017, publicly available herein: http://phenix.int-evry.fr/jct/doc_end_user/documents/29_Macau/wg11/JCTVC-AC1005-v2.zip. With this amendment included, HEVC specifies three Motion Constrained Tile Set (MCTS)-related SEI (supplemental enhancement information) messages, namely temporal MCTSs SEI message, MCTSs extraction information set SEI message, and MCTSs extraction information nesting SEI message.

The temporal MCTSs SEI message indicates existence of MCTSs in the bitstream and signals the MCTSs. For each MCTS, motion vectors are restricted to point to full-sample locations inside the MCTS and to fractional-sample locations that require only full-sample locations inside the MCTS for interpolation, and the usage of motion vector candidates for temporal motion vector prediction derived from blocks outside the MCTS is disallowed. This way, each MCTS may be independently decoded without the existence of tiles not included in the MCTS.

The MCTSs extraction information sets SEI message provides supplemental information that can be used in the MCTS sub-bitstream extraction (specified as part of the semantics of the SEI message) to generate a conforming bitstream for an MCTS set. The information consists of a number of extraction information sets, each defining a number of MCTS sets and containing Raw Byte Sequence Payload (RBSP) bytes of the replacement Video Parameter Sets (VPSs), Sequence Parameter Sets (SPSs), and Picture Parameter Sets (PPSs) to be used during the MCTS sub-bitstream extraction process. When extracting a sub-bitstream according to the MCTS sub-bitstream extraction process, parameter sets (VPSs, SPSs, and PPSs) need to be rewritten or replaced, slice headers need to be slightly updated because one or all of the slice address related syntax elements (including first_slice_segment_in_pic_flag and slice_segment_address) typically would need to have different values.

3.2. Partitioning of Pictures in VVC

In VVC, A picture is divided into one or more tile rows and one or more tile columns. A tile is a sequence of CTUs that covers a rectangular region of a picture. The CTUs in a tile are scanned in raster scan order within that tile.

A slice consists of an integer number of complete tiles or an integer number of consecutive complete CTU rows within a tile of a picture.

Two modes of slices are supported, namely the raster scan slice mode and the rectangular slice mode. In the raster scan slice mode, a slice contains a sequence of complete tiles in a tile raster scan of a picture. In the rectangular slice mode, a slice contains either a number of complete tiles that collectively form a rectangular region of the picture or a number of consecutive complete CTU rows of one tile that collectively form a rectangular region of the picture. Tiles within a rectangular slice are scanned in tile raster scan order within the rectangular region corresponding to that slice.

A subpicture contains one or more slices that collectively cover a rectangular region of a picture.

FIG. 1 shows an example of raster scan slice partitioning of a picture, where the picture is divided into 12 tiles and 3 raster scan slices.

FIG. 2 shows an example of rectangular slice partitioning of a picture, where the picture is divided into 24 tiles (6 tile columns and 4 tile rows) and 9 rectangular slices.

FIG. 3 shows an example of a picture partitioned into tiles and rectangular slices, where the picture is divided into 4 tiles (2 tile columns and 2 tile rows) and 4 rectangular slices.

FIG. 4 shows an example of subpicture partitioning of a picture, where a picture is partitioned into 18 tiles, 12 on the left-hand side each covering one slice of 4 by 4 CTUs and 6 tiles on the right-hand side each covering 2 vertically-stacked slices of 2 by 2 CTUs, altogether resulting in 24 slices and 24 subpictures of varying dimensions (each slice is a subpicture).

3.3. Signalling of SPS/PPS/Picture Header/Slice Header in VVC 7.3.2.3 Sequence Parameter Set RBSP Syntax

seq_parameter_set_rbsp( ) { Descriptor  sps_seq_parameter_set_id u(4)  sps_video_parameter_set_id u(4)  sps_max_sublayers_minus1 u(3)  sps_reserved_zero_4bits u(4)  sps_ptl_dpb_hrd_params_present_flag u(1)  if( sps_ptl_dpb_hrd_params_present_flag )   profile_tier_level( 1, sps_max_sublayers_minus1 )  gdr_enabled_flag u(1)  chroma_format_idc u(2)  if( chroma_format_idc = = 3 )   separate_colour_plane_flag u(1)  res_change_in_clvs_allowed_flag u(1)  pic_width_max_in_luma_samples ue(v)  pic_height_max_in_luma_samples ue(v)  sps_conformance_window_flag u(1)  if( sps_conformance_window_flag ) {   sps_conf_win_left_offset ue(v)   sps_conf_win_right_offset ue(v)   sps_conf_win_top_offset ue(v)   sps_conf_win_bottom_offset ue(v)  }  sps_log2_ctu_size_minus5 u(2)  subpic_info_present_flag u(1)  if( subpic_info_present_flag ) {   sps_num_subpics_minus1 ue(v)   sps_independent_subpics_flag u(1)   for( i = 0; sps_num_subpics_minus1 > 0 && i <= sps_num_subpics_minus1; i++ ) {    if( i > 0 && pic_width_max_in_luma_samples > CtbSizeY )     subpic_ctu_top_left_x[ i ] u(v)    if( i > 0 && pic_height_max_in_luma_samples > CtbSizeY ) {     subpic_ctu_top_left_y[ i ] u(v)    if( i < sps_num_subpics_minus1 &&      pic_width_max_in_luma_samples > CtbSizeY )     subpic_width_minus1[ i ] u(v)    if( i < sps_num_subpics_minus1 &&      pic_height_max_in_luma_samples > CtbSizeY )     subpic_height_minus1[ i ] u(v)    if( !sps_independent_subpics_flag) {     subpic_treated_as_pic_flag[ i ] u(1)     loop_filter_across_subpic_enabled_flag[ i ] u(1)    }   }   sps_subpic_id_len_minus1 ue(v)   subpic_id_mapping_explicitly_signalled_flag u(1)   if( subpic_id_mapping_explicitly_signalled_flag ) {    subpic_id_mapping_in_sps_flag u(1)    if( subpic_id_mapping_in_sps_flag )     for( i = 0; i <= sps num subpics minus1; i++ )      sps_subpic_id[ i ] u(v)   }  }  bit_depth_minus8 ue(v)  sps_entropy_coding_sync_enabled_flag u(1)  if( sps_entropy_coding_sync _enabled_flag)   sps_wpp_entry_point_offsets_present_flag u(1)  sps_weighted_pred_flag u(1)  sps_weighted_bipred_flag u(1)  log2_max_pic_order_cnt_lsb_minus4 u(4)  sps_poc_msb_flag u(1)  if( sps_poc_msb flag)   poc_msb_len_minus1 ue(v)  num_extra_ph_bits_bytes u(2)   extra_ph_bits_struct( num_extra_ph_bits_bytes)  num_extra_sh_bits_bytes u(2)   extra_sh_bits_struct( num_extra_sh_bits_bytes )  if( sps_max_sublayers_minus1 > 0 )   sps_sublayer_dpb_params_flag u(1)  if( sps_ptl_dpb_hrd_params_present_flag)   dpb_parameters( sps_max_sublayers_minus1, sps_sublayer_dpb_params_flag)  long_term_ref_pics_flag u(1)  inter_layer_ref_pics_present_flag u(1)  sps_idr_rpl_present_flag u(1)  rpl1_same_as_rpl0_flag u(1)  for( i = 0; i < !rpl1_same_as_rpl0_flag ? 2 : 1; i++ ) {   num_ref_pic_lists_in_sps[ i ] ue(v)   for( j = 0; j < num_ref_pic_lists_in_sps[ i ]; j++)    ref_pic_list_struct( i, j )  }  if( ChromaArrayType != 0 )   qtbtt_dual_tree_intra_flag u(1)  log2_min_luma_coding_block_size_minus2 ue(v)  partition_constraints_override_enabled_flag u(1)  sps_log2_diff_min_qt_min_cb_intra_slice_luma ue(v)  sps_max_mtt_hierarchy_depth_intra_slice_luma ue(v)  if( sps_max_mtt_hierarchy_depth_intra_slice_luma != 0 ) {   sps_log2_diff_max_bt_min_qt_intra_slice_luma ue(v)   sps_log2_diff_max_tt_min_qt_intra_slice_luma ue(v)  }  sps_log2_diff_min_qt_min_cb_inter_slice ue(v)  sps_max_mtt_hierarchy_depth_inter_slice ue(v)  if( sps_max_mtt_hierarchy_depth_inter_slice != 0 ) {   sps_log2_diff_max_bt_min_qt_inter_slice ue(v)   sps_log2_diff_max_tt_min_qt_inter_slice ue(v)  }  if( qtbtt_dual_tree_intra_flag) {   sps_log2_diff_min_qt_min_cb_intra_slice_chroma ue(v)   sps_max_mtt_hierarchy_depth_intra_slice_chroma ue(v)   if( sps_max_mtt_hierarchy_depth_intra_slice_chroma != 0 ) {    sps_log2_diff_max_bt_min_qt_intra_slice_chroma ue(v)    sps_log2_diff_max_tt_min_qt_intra_slice_chroma ue(v)   }  }  sps_max_luma_transform_size_64_flag u(1)  if( ChromaArrayType != 0 ) {   sps_joint_cbcr_enabled_flag u(1)   same_qp_table_for_chroma u(1)   numQpTables = same_qp_table_for_chroma ? 1 : ( sps_joint_cbcr_enabled_flag ? 3 : 2 )   for( i = 0; i < numQpTables; i++ ) {    qp_table_start_minus26[ i ] se(v)    num_points_in_qp_table_minus1[ i ] ue(v)    for( j = 0; j <= num_points_in_qp_table_minus1[ i ]; j++ ) {     delta_qp_in_val_minus1[ i ][ j ] ue(v)     delta_qp_diff_val[ i ][ j ] ue(v)    }   }  }  sps_sao_enabled_flag u(1)  sps_alf_enabled_flag u(1)  if( sps_alf_enabled_flag && ChromaArrayType != 0 )   sps_ccalf_enabled_flag u(1)  spstransformskipenabledflag c1  if( sps transform skip enabled flag) {   log2_transform_skip_max_size_minus2 ue(v)   sps_bdpcm_enabled_flag u(1)  }  sps_ref_wraparound_enabled_flag u(1)  sps_temporal_mvp_enabled_flag u(1)  if( sps_temporal_mvp_enabled_flag)   sps_sbtmvp_enabled_flag u(1)  sps_amvr_enabled_flag u(1)  sps_bdof_enabled_flag u(1)  if( sps_bdof_enabled_flag)   sps_bdof_pic_present_flag u(1)  sps_smvd_enabled_flag u(1)  sps_dmvr_enabled_flag u(1)  if( sps_dmvr_enabled_flag)   sps_dmvr_pic_present_flag u(1)  sps_mmvd_enabled_flag u(1)  sps_isp_enabled_flag u(1)  sps_mrl_enabled_flag u(1)  sps_mip_enabled_flag u(1)  if( ChromaArrayType != 0 )   sps_cclm_enabled_flag u(1)  if( chroma_format_idc = = 1 ) {   sps_chroma_horizontal_collocated_flag u(1)   sps_chroma_vertical_collocated_flag u(1)  }  sps_mts_enabled_flag u(1)  if( sps_mts_enabled_flag ) {   sps_explicit_mts_intra_enabled_flag u(1)   sps_explicit_mts_inter_enabled_flag u(1)  }  six_minus_max_num_merge_cand ue(v)  sps_sbt_enabled_flag u(1)  sps_affine_enabled_flag u(1)  if( sps_affine_enabled_flag ) {   five_minus_max_num_subblock_merge_cand ue(v)   sps_affine_type_flag u(1)   if( sps_amvr_enabled_flag)    sps_affine_amvr_enabled_flag u(1)   sps_affine_prof_enabled_flag u(1)   if( sps_affine_prof_enabled_flag)    sps_prof_pic_present_flag u(1)  }  sps_palette_enabled_flag u(1)  if( ChromaArrayType = = 3 && !sps_max_luma_transform_size_64_flag )   sps_act_enabled_flag u(1)  if( sps_transform_skip_enabled_flag | | sps_palette_enabled_flag )   min_qp_prime_ts_minus4 ue(v)  sps_bcw_enabled_flag u(1)  sps_ibc_enabled_flag u(1)  if( sps_ibc_enabled_flag )   six_minus_max_num_ibc_merge_cand ue(v)  sps_ciip_enabled_flag u(1)  if( sps_mmvd_enabled_flag )   sps_fpel_mmvd_enabled_flag u(1)  if( MaxNumMergeCand >= 2 ) {   sps_gpm_enabled_flag u(1)   if( sps_gpm_enabled_flag && MaxNumMergeCand >= 3 )    max_num_merge_cand_minus_max_num_gpm_cand ue(v)  }  sps_lmcs_enabled_flag u(1)  sps_lfnst_enabled_flag u(1)  sps_ladf_enabled_flag u(1)  if( sps_ladf_enabled_flag ) {   sps_num_ladf_intervals_minus2 u(2)   sps_ladf_lowest_interval_qp_offset se(v)   for( i = 0; i < sps_num_ladf_intervals_minus2 + 1; i++ ) {    sps_ladf_qp_offset[ i ] se(v)    sps_ladf_delta_threshold_minus1[ i ] ue(v)   }  }  log2_parallel_merge_level_minus2 ue(v)  sps_scaling_list_enabled_flag u(1)  sps_dep_quant_enabled_flag u(1)  if( !sps_dep_quant_enabled_flag )   sps_sign_data_hiding_enabled_flag u(1)  sps_virtual_boundaries_enabled_flag u(1)  if( sps_virtual_boundaries_enabled_flag ) {   sps_virtual_boundaries_present_flag u(1)   if( sps_virtual_boundaries_present flag ) {    sps_num_ver_virtual_boundaries u(2)    for( i = 0; i < sps_num_ver_virtual_boundaries; i++ )     sps_virtual_boundaries_pos_x[ i ] u(13)    sps_num_hor_virtual_boundaries u(2)    for( i = 0; i < sps_num_hor_virtual_boundaries; i++)     sps_virtual_boundaries_pos_y[ i ] u(13)   }  }  if( sps_ptl_dpb_hrd_params_present_flag ) {   sps_general_hrd_params_present_flag u(1)   if( sps_general_hrd_params_present_flag ) {    general_hrd_parameters( )    if( sps_max_sublayers_minus1 > 0 )     sps_sublayer_cpb_params_present_flag u(1)    firstSubLayer = sps_sublayer_cpb_params_present_flag ? 0 :      sps_max_sublayers_minus1    ols_hrd_parameters( firstSubLayer, sps_max_sublayers_minus1 )   }  }  field_seq_flag u(1)  vui_parameters_present_flag u(1)  if( vui_parameters_present flag)   vui_parameters( ) /* Specified in ITU-T H.SEI | ISO/IEC 23002-7 */  sps_extension_flag u(1)  if( sps_extension_flag)   while( more_rbsp_data( ) )    sps_extension_data_flag u(1)  rbsp_trailing_bits( ) }

7.3.2.4 Picture Parameter Set RBSP Syntax

pic_parameter_set_rbsp( ) { Descriptor  pps_pic_parameter_set_id ue(v)  pps_seq_parameter_set_id u(4)  mixed_nalu_types_in_pic_flag u(1)  pic_width_in_luma_samples ue(v)  pic_height_in_luma_samples ue(v)  pps_conformance_window_flag u(1)  if( pps conformance window flag ) {   pps_conf_win_left_offset ue(v)   pps_conf_win_right_offset ue(v)   pps_conf_win_top_offset ue(v)   pps_conf_win_bottom_offset ue(v)  }  scaling_window_explicit_signalling_flag u(1)  if( scaling_window_explicit_signalling_flag ) {   scaling_win_left_offset ue(v)   scaling_win_right_offset ue(v)   scaling_win_top_offset ue(v)   scaling_win_bottom_offset ue(v)  }  output_flag_present_flag u(1)  subpic_id_mapping_in_pps_flag u(1)  if( subpic_id_mapping_in_pps_flag ) {   pps_num_subpics_minus1 ue(v)   pps_subpic_id_len_minus1 ue(v)   for( i = 0; i <= pps_num_subpic_minus1; i++ )    pps_subpic_id[ i ] u(v)  }  no_pic_partition_flag u(1)  if( !no_pic_partition_flag) {   pps_log2_ctu_size_minus5 u(2)   num_exptile_columns_minus1 ue(v)   num_exptile_rows_minus1 ue(v)   for( i = 0; i <= num_exp_tile_columns_minus1; i++ )    tile_column_width_minus1[ i ] ue(v)   for( i = 0; i <= num_exp_tile_rows_minus1; i++ )    tile_row_height_minus1[ i ] ue(v)   if( NumTilesInPic > 1 )    rect_slice_flag u(1)   if( rect_slice_flag )    single_slice_per_subpic_flag u(1)   if( rect_slice_flag && !single_slice_per_subpic_flag ) {    num_slices_in_pic_minus1 ue(v)    if( num_slices_in_pic_minus1 > 0 )     tile_idx_delta_present_flag u(1)    for( i = 0; i < num_slices_in_pic_minus1; i++ ) {     if( NumTileColumns > 1 )      slice_width_in_tiles_minus1[ i ] ue(v)     if( NumTileRows > 1 &&       (tile_idx_delta_present_flag | | tileIdx % NumTileColumns = = 0 ) )      slice_height_in_tiles_minus1[ i ] ue(v)     if(slice_width_in_tiles_minus1[ i ] = = 0 &&       slice_height_in_tiles_minus1[ i ] = = 0 &&       RowHeight SliceTopLeftTileIdx[ i ] / NumTileColumns ] > l ) {      num_exp_slices_in_tile[ i ] ue(v)      numExpSlicesInTile = num_exp_slices_in_tile[ i ]      for( j = 0; j < numExpSlicesInTile; j++ )       exp_slice_height_in_ctus_minus1 [ j ] ue(v)      i += NumSlicesInTile[ i ]     }     if( tile_idx_delta_present_flag && i < num_slices_in_pic_minus1 )    tile_idx_delta[ i ] se(v)    }   }   loop_filter_across_tiles_enabled_flag u(1)   loop_filter_across_slices_enabled_flag u(1)  }  cabac_init_present_flag u(1)  for( i = 0; i < 2; i++)   num_ref_idx_default_active_minus1[ i ] ue(v)  rpl1_idx_present_flag u(1)  init_qp_minus26 se(v)  cu_qp_delta_enabled_flag u(1)  pps_chroma_tool_offsets_present_flag u(1)  if( pps_chroma_tool_offsets_present_flag) {   pps_cb_qp_offset se(v)   pps_cr_qp_offset se(v)   pps_joint_cbcr_qp_offset_present_flag u(1)   if( ppsjoint_cbcr_qp_offset_present_flag)    pps_joint_cbcr_qp_offset_value se(v)   pps_slice_chroma_qp_offsets_present_flag u(1)   pps_cu_chroma_qp_offset_list_enabled_flag u(1)  }  if( pps_cu_chroma_qp_offset_list_enabled_flag ) {   chroma_qp_offset_list_len_minus1 ue(v)   for( i = 0; i <= chroma_qp_offset_list_len_minus1; i++ ) {    cb_qp_offset_list[ i ] se(v)    cr_qp_offset_list[ i ] se(v)    if( pps_joint_cbcr_qp_offset_present_flag)     joint_cbcr_qp_offset_list[ i ] se(v)   }  }  pps_weighted_pred_flag u(1)  pps_weighted_bipred_flag u(1)  deblocking_filter_control_present_flag u(1)  if( deblocking_filter_control_present_flag ) {   deblocking_filter_oserride_enabled_flag u(1)   pps_deblocking_filter_disabled_flag u(1)   if( !pps_deblocking_filter_disabled_flag) {    pps_beta_offset_div2 se(v)    pps_tc_offset_div2 se(v)    pps_cb_beta_offset_div2 se(v)    pps_cb_tc_offset_div2 se(v)    pps_cr_beta_offset_div2 se(v)    pps_cr_tc_offset_div2 se(v)   }  }  rpl_info_in_ph_flag u(1)  if( deblocking_filter_override_enabled_flag)   dbf_info_in_ph_flag u(1)  sao_info_in_ph_flag u(1)  alf_info_in_ph_flag u(1)  if( (pps_weighted_pred_flag | | pps_weighted_bipred_flag) && rpl_present_in_ph flag )   wp_info_in_ph_flag u(1)  qp_delta_info_in_ph_flag u(1)  pps_ref_wraparound_enabled_flag u(1)  if( pps_ref_wraparound_enabled_flag)   pps_ref_wraparound_offset ue(v)  picture_header_extension_present_flag u(1)  slice_header_extension_present_flag u(1)  pps_extension_flag u(1)  if( pps_extension_flag )   while( more_rbsp_data( ) )    pps_extension_data_flag u(1)  rbsp_trailing_bits( ) }

7.3.2.7 Picture Header Structure Syntax

picture_header_structure( ) { Descriptor  gdr_or_irap_pic_flag u(1)  if( gdr_or_irap_pic flag )   gdr_pic_flag u(1)  ph_inter_slice_allowed_flag u(1)  if( ph_inter_slice_allowed_flag )   ph_intra_slice_allowed_flag u(1)  non_reference_picture_flag u(1)  ph_pic_parameter_set_id ue(v)  ph_pic_order_cnt_lsb u(v)  if( gdr_or_irap_pic_flag)   no_output_of_prior_pics_flag u(1)  if( gdr_pic_flag )   recovery_poc_cnt ue(v)  for( i = 0; i < NumExtraPhBits; i++ )   ph_extra_bit[ i ] u(1)  if( sps_poc_msb_flag ) {   ph_poc_msb_present_flag u(1)   if( ph_poc_msb_present_flag)   poc_msb_val u(v)  }  if( sps_alf_enabled_flag && alf_info_in_ph_flag ) {   ph_alf_enabled_flag u(1)   if( ph_alf_enabled_flag) {    ph_num_alf_aps_ids_luma u(3)    for( i = 0; i < ph_num_alf_aps_ids_luma; i++ )     ph_alf_aps_id_luma[ i ] u(3)    if( ChromaArrayType != 0 )     ph_alf_chroma_idc u(2)    if( ph_alf_chroma_idc )     ph_alf_aps_id_chroma u(3)    if( sps_ccalf_enabled_flag) {     ph_cc_alf_cb_enabled_flag u(1)     if( ph_cc_alf_cb_enabled_flag)      ph_cc_alf_cb_aps_id u(3)     ph_cc_alf_cr_enabled_flag u(1)     if( ph_cc_alf_cr_enabled_flag)      ph_cc_alf_cr_aps_id u(3)    }   }  }  if( sps_lmcs_enabled_flag ) {   ph_lmcs_enabled_flag u(1)   if( ph_lmcs_enabled_flag) {    ph_lmcs_aps_id u(2)    if( ChromaArrayType != 0 )      ph_chroma_residual_scale_flag u(1)   }  }  if( sps_scaling_list_enabled_flag ) {   ph_scaling_list_present_flag u(1)   if( ph_scaling_list_present_flag)    ph_scaling_list_aps_id u(3)  }  if( sps_virtual_boundaries_enabled_flag && !sps_virtual_boundaries_present flag ) {   ph_virtual_boundaries_present_flag u(1)   if( ph_virtual_boundaries_present_flag ) {    ph_num_ver_virtual_boundaries u(2)    for( i = 0; i < ph_num_ver_virtual_boundaries; i++ )     ph_virtual_boundaries_pos_x[ i ] u(13)    ph_num_hor_virtual_boundaries u(2)    for( i = 0; i < ph_num_hor_virtual_boundaries; i++ )     ph_virtual_boundaries_pos_y[ i ] u(13)   }  }  if( output_flag_present_flag)   pic_output_flag u(1)  if( rpl_info_in_ph_flag)   ref_pic_lists( )  if( partition_constraints_override_enabled_flag )   partition_constraints_override_flag u(1)   if( ph_intra_slice_allowed_flag ) {   if( partition_constraints_override_flag) {    ph_log2_diff_min_qt_min_cb_intra_slice_luma ue(v)    ph_max_mtt_hierarchy_depth_intra_slice_luma ue(v)    if( ph_max_mtt_hierarchy_depth_intra_slice_luma != 0 ) {     ph_log2_diff_max_bt_min_qt_intra_slice_luma ue(v)     ph_log2_diff_max_tt_min_qt_intra_slice_luma ue(v)    }    if( qtbtt_dual_tree_intra_flag ) {     ph_log2_diff_min_qt_min_cb_intra_slice_chroma ue(v)     ph_max_mtt_hierarchy_depth_intra_slice_chroma ue(v)     if( ph_max_mtt_hierarchy_depth_intra_slice_chroma != 0 ) {      ph_log2_diff_max_bt_min_qt_intra_slice_chroma ue(v)      ph_log2_diff_max_tt_min_qt_intra_slice_chroma ue(v)     }    }   }   if( cu_qp_delta_enabled_flag )    ph_cu_qp_delta_subdiv_intra_slice ue(v)   if( pps_cu_chroma_qp_offset_list_enabled_flag)    ph_cu_chroma_qp_offset_subdiv_intra_slice ue(v)  }  if( ph_inter_slice_allowed_flag ) {   if( partition_constraints_override_flag) {    ph_log2_diff_min_qt_min_cb_inter_slice ue(v)    ph_max_mtt_hierarchy_depth_inter_slice ue(v)    if( ph_max_mtt_hierarchy_depth_inter_slice != 0 ) {     ph_log2_diff_max_bt_min_qt_inter_slice ue(v)      ph_log2_diff_max_tt_min_qt_inter_slice ue(v)    }   }   if( cu_qp_delta_enabled_flag)    ph_cu_qp_delta_subdiv_inter_slice ue(v)   if( pps_cu_chroma_qp_offset_list_enabled_flag )    ph_cu_chroma_qp_offset_subdiv_inter_slice ue(v)   if( sps_temporal_mvp_enabled_flag ) {    ph_temporal_mvp_enabled_flag u(1)    if( ph_tempora_mvp_enabled_flag && rpl_info_in_ph flag ) {     ph_collocated_from_l0_flag u(1)     if( (ph_collocated_from_l0_flag &&      num_ref_entries[ 0 ][ PicRplsIdx[ 0 ] ] > 1 ) | |      ( !ph_collocated_from_l0 flag &&      num_ref_entries[ 1 ][ PicRplsIdx[ 1 ] ] > 1 ) )     ph_collocated_ref_idx ue(v)    }   }   mvd_11_zero_flag u(1)   if( sps_fpel_mmvd_enabled_flag)    ph_fpel_mmvd_enabled_flag u(1)   if( sps_bdof_pic_present_flag)    ph_disable_bdof_flag u(1)   if( sps_dmvr_pic_present_flag)    ph_disable_dmvr_flag u(1)   if( sps_prof_pic_present_flag)    ph_disable_prof_flag u(1)   if( ( pps_weighted_pred_flag | | pps_weighted_bipred_flag ) && wp_info_in_ph_flag )    pred_weight_table( )  }  if( qp_delta_info_in_ph_flag )   ph_qp_delta se(v)  if( sps_joint_cbcr_enabled_flag)   ph_joint_cbcr_sign_flag u(1)  if( sps_sao_enabled_flag && sao_info_in_ph_flag ) {   ph_sao_luma_enabled_flag u(1)   if( ChromaArrayType != 0 )    ph_sao_chroma_enabled_flag u(1)  }  if( sps_dep_quant_enabled_flag )   ph_dep_quant_enabled_flag u(1)  if( sps_sign_data_hiding_enabled_flag && !ph_dep_quant_enabled_flag)   pic_sign_data_hiding_enabled_flag u(1)  if( deblocking_filter_override_enabled_flag && dbf_info_in_ph_flag ) {   ph_deblocking_filter_override_flag u(1)   if( ph_deblocking_filter_override_flag) {    ph_deblocking_filter_disabled_flag u(1)    if( !ph_deblocking_filter_disabled_flag ) {     ph_beta_offset_div2 se(v)     ph_tc_offset_div2 se(v)     ph_cb_beta_offset_div2 se(v)     ph_cb_tc_offset_div2 se(v)     ph_cr_beta_offset_div2 se(v)     ph_cr_tc_offset_div2 se(v)    }   }  }  if( picture_header_extension_present_flag ) {   ph_extension_length ue(v)   for( i = 0; i < ph_extension_length; i++)    ph_extension_data_byte[ i ] u(8)  } }

7.3.7.1 General Slice Header Syntax

slice_header( ) { Descriptor  picture_header_in_slice_header_flag u(1)  if( picture_header_in_slice_header_flag )   picture_header_structure( )  if( subpic_info_present_flag )   slice_subpic_id u(v)  if( ( rect_slice_flag && NumSlicesInSubpic[ CurrSubpicIdx ] > 1 ) | |   ( !rect_slice_flag && NumTilesInPic > 1 ) )   slice_address u(v)  for( i = 0; i < NumExtraPhBits; i++ )   sh_extra_bit[ i ] u(1)  if( !rect_slice_flag && NumTilesInPic > 1 )   num_tiles_in_slice_minus1 ue(v)  if( ph_inter_slice_allowed_flag )   slice_type ue(v)  if( sps_alf_enabled_flag && !alf_info_in_ph_flag ) {   slice_alf_enabled_flag u(1)   if( slice_alf_enabled_flag ) {    slice_num_alf_aps_ids_luma u(3)    for( i = 0; i < slice_num_alf_aps_ids_luma; i++ )     slice_alf_aps_id_luma[ i ] u(3)    if( ChromaArrayType != 0 )     slice_alf_chroma_idc u(2)    if( slice_alf_chroma_idc )     slice_alf_aps_id_chroma u(3)    if( sps_ccalf_enabled_flag ) {     slice_cc_alf_cb_enabled_flag u(1)     if( slice_cc_alf_cb_enabled_flag )      slice_cc_alf_cb_aps_id u(3)     slice_cc_alf_cr_enabled_flag u(1)     if( slice_cc_alf_cr_enabled_flag )       slice_cc_alf_cr_aps_id u(3)    }   }  }  if( separate_colour_plane_flag = = 1 )   colour_plane_id u(2)  if( !rpl_info_in_ph_flag && ( ( nal_unit_type != IDR_W_RADL && nal_unit_type !=    IDR_N_LP ) | | sps_idr_rpl_present_flag ) )   ref_pic_lists( )  if( ( rpl_info_in_ph_flag | | ( ( nal_unit_type != IDR_W_RADL && nal_unit_type !=   IDR_N_LP ) | | sps_idr_rpl_present_flag ) ) &&   ( slice_type != I && num_ref_entries[ 0 ][ RplsIdx[ 0 ] ] > 1 ) | |   ( slice_type = = B && num_ref_entries[ 1 ][ RplsIdx[ 1 ] ] > 1 ) ) {  num_ref_idx_active_override_flag u(1)  if( num_ref_idx_active_override_flag )   for( i = 0; i < ( slice_type = = B ? 2: 1 ); i++ )    if( num_ref_entries[ i ][ RplsIdx[ i ] ] > 1 )     num_ref_idx_active_minus1[ i ] ue(v)  }  if( slice_type != I ) {   if( cabac_init_present_flag )    cabac_init_flag u(1)   if( ph_temporal_mvp_enabled_flag && !rpl_info_in_ph_flag ) {    if( slice_type = = B )     slice_collocated_from_l0_flag u(1)    if( ( slice_collocated_from_l0_flag && NumRefIdxActive[ 0 ] > 1 ) | |     ( ! slice_collocated_from_l0_flag && NumRefIdxActive[ l ] > 1 ) )    slice_collocated_ref_idx ue(v)   }   if( !wp_info_in_ph_flag && ( ( pps_weighted_pred_flag && slice_type = = P ) | |    ( pps_weighted_bipred_flag && slice_type = = B ) ) )   pred_weight_table( )  }  if( !qp_delta_info_in_ph_flag )   slice_qp_delta se(v)  if( pps_slice_chroma_qp_offsets_present_flag ) {   slice_cb_qp_offset se(v)   slice_cr_qp_offset se(v)   if( sps_joint_cbcr_enabled_flag )    slice_joint_cbcr_qp_offset se(v)  }  if( pps_cu_chroma_qp_offset_list_enabled_flag )   cu_chroma_qp_offset_enabled_flag u(1)  if( sps_sao_enabled_flag && !sao_info_in_ph_flag ) {   slice_sao_luma_flag u(1)   if( ChromaArrayType != 0 )    slice_sao_chroma_flag u(1)  }  if( deblocking_filter_override_enabled_flag && !dbf_info_in_ph_flag )   slice_deblocking_filter_override_flag u(1)  if( slice_deblocking_filter_override_flag ) {   slice_deblocking_filter_disabled_flag u(1)   if( !slice_deblocking_filter_disabled_flag ) {    slice_beta_offset_div2 se(v)    slice_tc_offset_div2 se(v)    slice_cb_beta_offset_div2 se(v)    slice_cb_tc_offset_div2 se(v)    slice_cr_beta_offset_div2 se(v)    slice_cr_tc_offset_div2 se(v)   }  }  slice_ts_residual_coding_disabled_flag u(1)  if( ph_lmcs_enabled_flag )   slice_lmcs_enabled_flag u(1)   if( pic_scaling_list_enabled_flag )    slice_scaling_list_present_flag u(1)  if( NumEntryPoints > 0 ) {   offset_len_minus1 ue(v)   for( i = 0; i < NumEntryPoints; i++ )    entry_point_offset_minus1[ i ] u(v)  }  if( slice_header_extension_present_flag ) {   slice_header_extension_length ue(v)   for( i = 0; i < slice_header_extension_length; i++)    slice_header_extension_data_byte[ i ] u(8)  }  byte_alignment( ) }

3.4. Example Specifications for Tiles, Slices and Subpictures 3 Definitions

-   -   picture-level slice index: An index of a slice to the list of         slices in a picture in the order as they are signalled in the         PPS when the rect_slice_flag is equal to 1.     -   subpicture-level slice index: An index of a slice to the list of         slices in a subpicture in the order as they are signalled in the         PPS when the rect_slice_flag is equal to 1.

6.5.1 CTB Raster Scanning, Tile Scanning, and Subpicture Scanning Processes

The variable NumTileColunms, specifying the number of tile columns, and the list colWidth[i] for i ranging from 0 to NumTileColunm−1, inclusive, specifying the width of the i-th tile column in units of CTBs, are derived as follows:

remainingWidthInCtbsY = PicWidthInCtbsY for( i = 0; i < num_exp_tile_columns_minus1; i++ ) {  colWidth[ i ] = tile_column_width_minus1[ i ] + 1  remainingWidthInCtbsY −= colWidth[ i ] } uniformTileColWidth = tile_column_width_minus1[ num_exp_tile_columns_minus1 ] + 1 (23) while( remainingWidthInCtbsY >= uniformTileColWidth ) {  colWidth[ i++ ] = uniformTileColWidth  remainingWidthInCtbsY −= uniformTileColWidth } if( remainingWidthInCtbsY > 0 )  colWidth[ i++ ] = remainingWidthInCtbsY NumTileColumns = i

The variable NumTileRows, specifying the number of tile rows, and the list RowHeight[j] for j ranging from 0 to NumTileRows−1, inclusive, specifying the height of the j-th tile row in units of CTBs, are derived as follows:

remainingHeightIntCtbsY = PicHeightInCtbsY for( j = 0; j < num_exp_tile_rows_minus1; j++ ) {  RowHeight[ j ] = tile_row_height_minus1[ j ] + 1  remainingHeightInCtbsY −= RowHeight[ j ] } uniformTileRowHeight = tile_row_height_minus1[ num_exp_tile_rows_minus1 ] + 1 (24) while( remainingHeightInCtbsY >= uniformTileRowHeight ) {  RowHeight[ j++ ] = uniformTileRowHeight  remainingHeightInCtbsY −= uniformTileRowHeight } if( remainingHeightInCtbsY > 0 )  RowHeight[ j++ ] = remainingHeightInCtbsY NumTileRows = j

The variable NumTilesInPic is set equal to NumTileColumns*NumTileRows.

The list tileColBd[i] for i ranging from 0 to NumTileColumns, inclusive, specifying the location of the i-th tile column boundary in units of CTBs, is derived as follows:

for(tileColBd[0]=0,i=0;i<NumTileColumns;i++)tileColBd[i+1]=tileColBd[i]+colWidth[i]  (25)

-   -   NOTE 1—The size of the array tileColBd[ ] is one greater than         the actual number of tile columns in the derivation of         CtbToTileColBd[ ].

The list tileRowBd[j] for j ranging from 0 to NumTileRows, inclusive, specifying the location of the j-th tile row boundary in units of CTBs, is derived as follows:

for(tileRowBd[0]=0,j=0;j<NumTileRows;j++)tileRowBd[j+1]=tileRowBd[j]+RowHeight[j]  (26)

-   -   NOTE 2—The size of the array tileRowBd[ ] in the above         derivation is one greater than the actual number of tile rows in         the derivation of CtbToTileRowBd[ ].

The list CtbToTileColBd[ctbAddrX] for ctbAddrX ranging from 0 to PicWidthInCtbsY, inclusive, specifying the conversion from a horizontal CTB address to a left tile column boundary in units of CTBs, is derived as follows:

tileX = 0 for( ctbAddrX = 0; ctbAddrX <= PicWidthInCtbsY; ctbAddrX++ ) {  if( ctbAddrX = = tileColBd[ tileX + 1 ] ) (27)   tileX++  CtbToTileColBd[ ctbAddrX ] = tileColBd[ tileX ] }

-   -   NOTE 3—The size of the array CtbToTileColBd[ ] in the above         derivation is one greater than the actual number of picture         width in CTBs in the derivaqiton slice_data( ) signalling

The list CtbToTileRowBd[ctbAddrY] for ctbAddrY ranging from 0 to PicHeightInCtbsY, inclusive, specifying the conversion from a vertical CTB address to a top tile column boundary in units of CTBs, is derived as follows:

tileY = 0 for( ctbAddrY = 0; ctbAddrY <= PicHeightInCtbsY; ctbAddrY++ ) {  if( ctbAddrY = = tileRowBd[ tileY + 1 ] ) (28)   tileY++  CtbToTileRowBd[ ctbAddrY ] = tileRowBd[ tileY ] }

-   -   NOTE 4—the size of the array CtbToTileRowBd[ ] in the above         derivation is one greater than the actual number of picture         height in CTBs in the slice_data( ) signalling

For rectangular slices, the list NumCtusInSlice[i] for i ranging from 0 to num_slices_inpic_minus1, inclusive, specifying the number of CTU in the i-th slice, the list SliceTopLeftTileIdx[i] for i ranging from 0 to num_slices_inpic_minus1, inclusive, specifying the index of the top-left tile of the slice, and the matrix CtbAddrInSlice[i][j] for i ranging from 0 to num_slices_inpic_minus1, inclusive, and j ranging from 0 to NumCtusInSlice[i]−1, inclusive, specifying the picture raster scan address of the j-th CTB within the i-th slice, are derived as follows:

if( single_slice_per_subpic _flag) {  for( i = 0; i <= sps num subpics minus1; i++ )   NumCtusInSlice[ i ] = 0  for( i = 0; i < PicSizeInCtbsY; i ++ ) {   sliceIdx = subpic_info_present flag ? CtbToSubpicIdx[ i ] : 0   CtbAddrInSlice[ sliceIdx ][ NumCtusInSlice[ sliceIdx ] ] = i   NumCtusInSlice[ sliceIdx ]++  } } else {  tileIdx = 0  for( i = 0; i <= num_slices_in_pic_minus1; i++ )   NumCtusInSlice[ i ] = 0  for( i = 0; i <= num_slices_in_pic_minus1; i++ ) {   SliceTopLeftTileIdx[ i ] = tileIdx   tileX = tileIdx % NumTileColumns   tileY = tileIdx / NumTileColumns   if( i = = num_slices_in_pic_minus1 ) {    slice_width_in_tiles_minus1[ i ] = NumTileColumns − 1 − tileX    slice_height_in_tiles_minus1[ i ] = NumTileRows − 1 − tileY    NumSlicesInTile[ i ] = 1   }   if( slice_width_in_tiles_minus1[i] = = 0 && slice_height_in_tiles_minus1[i] == 0 ) { (29)    ctbY = tileRowBd[ tileY ]    for( j = 0; j < NumSlicesInTile[ i ] − l; j++ ) {     AddCtbsToSlice( i, tileColBd[ tileX ], tileColBd[ tileX + 1 ],      ctbY, ctbY + SliceHeightInCtusMinus1[ i ] + 1 )     ctbY += SliceHeightInCtusMinus1[ i ] + 1     i++    }    AddCtbsToSlice( i, tileColBd[ tileX ], tileColBd[ tileX + 1 ], ctbY, tileRowBd[ tileY + 1 ] )   } else    for( j = 0; j <= slice_height_in_tiles_minus1[ i ]; j++ )     for( k = 0; k <= slice_width_in_tiles_minus1[ i ]; k++ )     AddCtbsToSlice( i, tileColBd[ tileX + k ], tileColBd[ tileX + k + 1 ],      tileRowBd[ tileY + j ], tileRowBd[ tileY + j + 1 ] )   if( tile_idx_delta_present_flag )    tileIdx += tile_idx_delta[ i ]   else {    tileIdx += slice_width_in_tiles_minus1[ i ] + 1    if( tileIdx % NumTileColumns = = 0 )     tileIdx += slice_height_in_tiles_minus1[ i ] * NumTileColumns   }  } }

Where the function AddCtbsToSlice(sliceIdx, startX, stopX, startY, stopY) is specified as follows:

for( ctbY = startY; ctbY < stopY; ctbY++ )  for( ctbX = starX; ctbX < stopX; ctbX++ ) {   CtbAddrInSlice[ sliceIdx ][ NumCtusInSlice[ sliceIdx ] ] = ctbY * PicWidthInCtbsY + ctbX (30)   NumCtusInSlice[ sliceIdx ]++  }

It is a requirement of bitstream conformance that the values of NumCtusInSlice[i] for i ranging from 0 to num_slices_inpic_minus1, inclusive, shall be greater than 0. Additionally, it is a requirement of bitstream conformance that the matrix CtbAddrInSlice[i][j] for i ranging from 0 to num_slices_inpic_minus1, inclusive, and j ranging from 0 to NumCtusInSlice[i]−1, inclusive, shall include all CTB addresses in the range 0 to PicSizeInCtbsY−1 once and only once.

The list CtbToSubpicIdx[ctbAddrRs] for ctbAddrRs ranging from 0 to PicSizeInCtbsY−1, inclusive, specifying the conversion from a CTB address in picture raster scan to a subpicture index, is derived as follows:

for( ctbAddrRs = 0; ctbAddrRs < PicSizeInCtbsY; ctbAddrRs++ ) {  posX = ctbAddrRs % PicWidthInCtbsY  posY = ctbAddrRs / PicWidthInCtbsY  CtbToSubpicIdx[ ctbAddrRs ] = −1  for( i = 0; CtbToSubpicIdx[ ctbAddrRs ] < 0 && i <= sps num subpics minus1; i++ ) {(31)   if( (posX >= subpic_ctu_top_left_x[ i ] ) &&     ( posX < subpic_ctu_top_left_x[ i ] + subpic_width_minus1[ i ] + 1 ) &&     ( posY >= subpic_ctu_top_left_y[ i ] ) &&     ( posY < subpic_ctu_top_left_y[ i ] + subpic_height_minus1[ i ] + 1 ) )    CtbToSubpicIdx[ ctbAddrRs ] = i  } }

The list NumSlicesInSubpic[i], specifying the number of rectangular slices in the i-th subpicture, is derived as follows:

for( j = 0; j <= sps_num_subpics_minus1; j++ )  NumSlicesInSubpic[ j ] = 0 for( i = 0; i <= num_slices_in_pic_minus1; i++ ) {  posX = CtbAddrInSlice[ i ][ 0 ] % PicWidthInCtbsY  posY = CtbAddrInSlice[ i ][ 0 ] / PicWidthInCtbsY  for( j = 0; j <= sps_num_subpics_minus1; j++ ) {   if( ( posX >= subpic_ctu_top_left_x[ j ] ) && (32)     ( posX < subpic_ctu_top_left_x[ j ] + subpic_width_minus1[ j ] + 1 ) &&     ( posY >= subpic_ctu_top_left_y[ j ] ) &&     ( posY < subpic_ctu_top_left_y[ j ] + subpic_height_minus1[ j ] + 1 ) ) {    NumSlicesInSubpic[ j ]++   }  } }

7.3.4.3 Picture Parameter Set RBSP Semantics

subpic_id_mapping_in_pps_flag equal to 1 specifies that the subpicture ID mapping is signalled in the PPS. subpic_id_mapping_inpps_flag equal to 0 specifies that the subpicture ID mapping is not signalled in the PPS. If subpic_id_mapping_explicitly_signalled_flag is 0 or subpic_id_mapping_in_sps_flag is equal to 1, the value of subpic_id_mapping_inpps_flag shall be equal to 0. Otherwise (subpic_id_mapping_explicitly_signalled_flag is equal to 1 and subpic_id_mapping_in_sps_flag is equal to 0), the value of subpic_id_mapping_in_pps_flag shall be equal to 1. pps_num_subpics_minus1 shall be equal to sps_num_subpics_minus1. pps_subpic_id_len_minus1 shall be equal to sps_subpic_id_len_minus1. pps_subpic_id[i] specifies the subpicture ID of the i-th subpicture. The length of the pps_subpic_id[i] syntax element is pps_subpic_id_len_minus1+1 bits.

The variable SubpicIdVal[i], for each value of i in the range of 0 to sps_num_subpics_minus1, inclusive, is derived as follows:

for( i = 0; i <= sps_num_subpics_minus1; i++ )  if( subpic_id_mapping_explicitly_signalled_flag )   SubpicIdVal[ i ] = subpic_id_mapping_in_pps flag ? pps_subpic_id[ i ] : sps_subpic_id[ i ]  (80)  else   SubpicIdVal[ i ] = i

It is a requirement of bitstream conformance that both of the following constraints apply:

-   -   For any two differently values of i and j in the range of 0 to         sps_num_subpics_minus1, inclusive, SubpicIdVal[i] shall not be         equal to SubpicIdVal[j].     -   When the current picture is not the first picture of the CLVS,         for each value of i in the range of 0 to sps_num_subpics_minus1,         inclusive, if the value of SubpicIdVal[i] is not equal to the         value of SubpicIdVal[i] of the previous picture in decoding         order in the same layer, the nal_unit_type for all coded slice         NAL units of the subpicture in the current picture with         subpicture index i shall be equal to a particular value in the         range of IDR_W_RADL to CRA_NUT, inclusive.         no_pic_partition_flag equal to 1 specifies that no picture         partitioning is applied to each picture referring to the PPS.         no_pic_partition_flag equal to 0 specifies each picture         referring to the PPS may be partitioned into more than one tile         or slice.

It is a requirement of bitstream conformance that the value of no_pic_partition_flag shall be the same for all PPSs that are referred to by coded pictures within a CLVS.

It is a requirement of bitstream conformance that the value of no_pic_partition_flag shall not be equal to 1 when the value of sps_num_subpics_minus1+1 is greater than 1.

pps_log 2_ctu_size_minus5 plus 5 specifies the luma coding tree block size of each CTU. pps_log 2_ctu_size_minus5 shall be equal to sps_log 2_ctu_size_minus5. num_exp_tile_columns_minus1 plus 1 specifies the number of explicitly provided tile column widths. The value of num_exp_tile_columns_minus1 shall be in the range of 0 to PicWidthInCtbsY−1, inclusive. When no_pic_partition_flag is equal to 1, the value of num_exp_tile_columns_minus1 is inferred to be equal to 0. num_exp_tile_rows_minus1 plus 1 specifies the number of explicitly provided tile row heights. The value of num_exp_tile_rows_minus1 shall be in the range of 0 to PicHeightInCtbsY−1, inclusive. When no_pic_partition_flag is equal to 1, the value of num_tile_rows_minus1 is inferred to be equal to 0. tile_column_width_minus1[i] plus 1 specifies the width of the i-th tile column in units of CTBs for i in the range of 0 to num_exp_tile_columns_minus1−1, inclusive. tile_column_width_minus1[num_exp_tile_columns_minus1] is used to derive the width of the tile columns with index greater than or equal to num_exp_tile_columns_minus1 as specified in clause 6.5.1. The value of tile_column_width_minus1[i] shall be in the range of 0 to PicWidthInCtbsY−1, inclusive. When not present, the value of tile_column_width_minus1[0] is inferred to be equal to PicWidthInCtbsY−1. tile_row_height_minus1[i] plus 1 specifies the height of the i-th tile row in units of CTBs for i in the range of 0 to num_exp_tile_rows_minus1−1, inclusive. tile_row_height_minus1[num_exp_tile_rows_minus1] is used to derive the height of the tile rows with index greater than or equal to num_exp_tile_rows_minus1 as specified in clause 6.5.1. The value of tile_row_height_minus1[i] shall be in the range of 0 to PicHeightInCtbsY−1, inclusive. When not present, the value of tile_row_height_minus1[0] is inferred to be equal to PicHeightInCtbsY−1. rect_slice_flag equal to 0 specifies that tiles within each slice are in raster scan order and the slice information is not signalled in PPS. rect_slice_flag equal to 1 specifies that tiles within each slice cover a rectangular region of the picture and the slice information is signalled in the PPS. When not present, rect_slice_flag is inferred to be equal to 1. When subpic_info_present_flag is equal to 1, the value of rect_slice_flag shall be equal to 1. single_slice_per_subpic_flag equal to 1 specifies that each subpicture consists of one and only one rectangular slice. single_slice_per_subpic_flag equal to 0 specifies that each subpicture may consist of one or more rectangular slices. When single_slice_per_subpic_flag is equal to 1, num_slices_in_pic_minus1 is inferred to be equal to sps_num_subpics_minus1. When not present, the value of single_slice_per_subpic_flag is inferred to be equal to 0. num_slices_in_pic_minus1 plus 1 specifies the number of rectangular slices in each picture referring to the PPS. The value of num_slices_in_pic_minus1 shall be in the range of 0 to MaxSlicesPerPicture−1, inclusive, where MaxSlicesPerPicture is specified in Annex A. When no_pic_partition_flag is equal to 1, the value of num_slices_in_pic_minus1 is inferred to be equal to 0. tile_idx_delta_present_flag equal to 0 specifies that tile_idx_delta values are not present in the PPS and all rectangular slices in pictures referring to the PPS are specified in raster order according to the process defined in clause 6.5.1. tile_idx_delta_present_flag equal to 1 specifies that tile_idx_delta values may be present in the PPS and all rectangular slices in pictures referring to the PPS are specified in the order indicated by the values of tile_idx_delta. When not present, the value of tile_idx_delta_present_flag is inferred to be equal to 0. slice_width_in_tiles_minus1[i] plus 1 specifies the width of the i-th rectangular slice in units of tile columns The value of slice_width_in_tiles_minus1[i] shall be in the range of 0 to NumTileColumns−1, inclusive. When slice_width_in_tiles_minus1[i] is not present, the following applies:—

-   -   If NumTileColumns is equal to 1, the value of         slice_width_in_tiles_minus1[i] is inferred to be equal to 0.     -   Otherwise, the value of slice_width_in_tiles_minus1[i] is         inferred as specified in clause 6.5.1.         slice_height_in_tiles_minus1[i] plus 1 specifies the height of         the i-th rectangular slice in units of tile rows. The value of         slice_height_in_tiles_minus1[i] shall be in the range of 0 to         NumTileRows−1, inclusive. When slice_height_in_tiles_minus1[i]         is not present, the following applies:     -   If NumTileRows is equal to 1, or tile_idx_delta_present_flag is         equal to 0 and tileIdx % NumTileColumns is greater than 0), the         value of slice_height_in_files_minus1[i] is inferred to be equal         to 0.     -   Otherwise (NumTileRows is not equal to 1, and         tile_idx_delta_present_flag is equal to 1 or tileIdx %         NumTileColumns is equal to 0), when tile_idx_delta_present_flag         is equal to 1 or tileIdx % NumTileColumns is equal to 0, the         value of slice_height_in_tiles_minus1[i] is inferred to be equal         to slice_height_in_tiles_minus1[i−1].         num_exp_slices_in_tile[i] specifies the number of explicitly         provided slice heights in the current tile that contains more         than one rectangular slices. The value of         num_exp_slices_in_tile[i] shall be in the range of 0 to         RowHeight[tileY]−1, inclusive, where tileY is the tile row index         containing the i-th slice. When not present, the value of         num_exp_slices_in_file[i] is inferred to be equal to 0. When         num_exp_slices_in_tile[i] is equal to 0, the value of the         variable NumSlicesInTile[i] is derived to be equal to 1.         exp_slice_height_in_ctus_minus1[j] plus 1 specifies the height         of the j-th rectangular slice in the current tile in units of         CTU rows. The value of exp_slice_height_in_ctus_minus1[j] shall         be in the range of 0 to RowHeight[tileY]−1, inclusive, where         tileY is the tile row index of the current tile.

When num_exp_slices_in_tile[i] is greater than 0, the variable NumSlicesInTile[i] and SliceHeightInCtusMinus1[i+k] for k in the range of 0 to NumSlicesInTile[i]−1 are derived as follows:

remainingHeightInCtbsY = RowHeight[ SliceTopLeftTileIdx[ i ] / NumTileColumns ] numExpSliceInTile = num_exp_slices_in_tile[ i ] for( j = 0; j < numExpSliceInTile − 1; j++ ) {  SliceHeightInCtusMinus1[ i++ ] = exp_slice_height_in_ctu_minus1[ j ]  remainingHeightInCtbsY −= SliceHeightInCtusMinus1[ j ] } (81) uniformSliceHeightMinus1 = SliceHeightInCtusMinus1[ i − 1 ] while( remainingHeightInCtbsY >= (uniformSliceHeightMinus1 + 1) ) {  SliceHeightInCtusMinus1[ i++ ] = uniformSliceHeightMinus1  remainingHeightInCtbsY −= (uniformSliceHeightMinus1 + 1)  j++ } if( remainingHeightInCtbsY > 0 ) {  SliceHeightInCtusMinus1[ i++ ] = remainingHeightInCtbsY  j++ } NumSlicesInTile[ i ] = j tile_idx_delta[i] specifies the difference between the tile index of the first tile in the i-th rectangular slice and the tile index of the first tile in the (i+1)-th rectangular slice. The value of tile_idx_delta[i] shall be in the range of −NumTilesInPic+1 to NumTilesInPic−1, inclusive. When not present, the value of tile_idx_delta[i] is inferred to be equal to 0. When present, the value of tile_idx_delta[i] shall not be equal to 0. 7.4.2.4.5 Order of VCL NAL Units and their Association to Coded Pictures

The order of the VCL NAL units within a coded picture is constrained as follows:

-   -   For any two coded slice NAL units A and B of a coded picture,         let subpicIdxA and subpicIdxB be their subpicture level index         values, and sliceAddrA and sliceddrB be their slice_address         values.     -   When either of the following conditions is true, coded slice NAL         unit A shall precede coded slice NAL unit B:         -   subpicIdxA is less than subpicIdxB.         -   subpicIdxA is equal to subpicIdxB and sliceAddrA is less             than sliceAddrB.

7.4.8.1 General Slice Header Semantics

The variable CuQpDeltaVal, specifying the difference between a luma quantization parameter for the coding unit containing cu_qp_delta_abs and its prediction, is set equal to 0. The variables CuQpOffset_(Cb), CuQpOffset_(Cr), and CuQpOffset_(CbCr), specifying values to be used when determining the respective values of the Qp′_(Cb), Qp′_(Cr), and Qp′_(CbCr) quantization parameters for the coding unit containing cu_chroma_qp_offset_flag, are all set equal to 0. picture_header_in_slice_header_flag equal to 1 specifies that the PH syntax structure is present in the slice header. picture_header_in_slice_header_flag equal to 0 specifies that the PH syntax structure is not present in the slice header.

It is a requirement of bitstream conformance that the value of picture_header_in_slice_header_flag shall be the same in all coded slices in a CLVS.

When picture_header_in_slice_header_flag is equal to 1 for a coded slice, it is a requirement of bitstream conformance that no VCL NAL unit with nal_unit_type equal to PH_NUT shall be present in the CLVS.

When picture_header_in_slice_header_flag is equal to 0, all coded slices in the current picture shall have picture_header_in_slice_header_flag is equal to 0, and the current PU shall have a PH NAL unit.

slice_subpic_id specifies the subpicture ID of the subpicture that contains the slice. If slice_subpic_id is present, the value of the variable CurrSubpicIdx is derived to be such that SubpicIdVal[CurrSubpicIdx] is equal to slice_subpic_id. Otherwise (slice_subpic_id is not present), CurrSubpicIdx is derived to be equal to 0. The length of slice_subpic_id is sps_subpic_id_len_minus1+1 bits. slice_address specifies the slice address of the slice. When not present, the value of slice_address is inferred to be equal to 0. When rect_slice_flag is equal to 1 and NumSlicesInSubpic[CurrSubpicIdx] is equal to 1, the value of slice_address is inferred to be equal to 0.

If rect_slice_flag is equal to 0, the following applies:

-   -   The slice address is the raster scan tile index.     -   The length of slice_address is Ceil(Log 2 (NumTilesInPic)) bits.     -   The value of slice_address shall be in the range of 0 to         NumTilesInPic−1, inclusive.

Otherwise (rect_slice_flag is equal to 1), the following applies:

-   -   The slice address is the subpicture-level slice index of the         slice.     -   The length of slice_address is Ceil(Log         2(NumSlicesInSubpic[CurrSubpicIdx])) bits.     -   The value of slice_address shall be in the range of 0 to         NumSlicesInSubpic[CurrSubpicIdx]−1, inclusive.

It is a requirement of bitstream conformance that the following constraints apply:

-   -   If rect_slice_flag is equal to 0 or subpic_info_present_flag is         equal to 0, the value of slice_address shall not be equal to the         value of slice_address of any other coded slice NAL unit of the         same coded picture.     -   Otherwise, the pair of slice_subpic_id and slice_address values         shall not be equal to the pair of slice_subpic_id and         slice_address values of any other coded slice NAL unit of the         same coded picture.     -   The shapes of the slices of a picture shall be such that each         CTU, when decoded, shall have its entire left boundary and         entire top boundary consisting of a picture boundary or         consisting of boundaries of previously decoded CTU(s).         sh_extra_bit[i] may be equal to 1 or 0. Decoders conforming to         this version of this Specification shall ignore the value of         sh_extra_bit[i]. Its value does not affect decoder conformance         to profiles specified in this version of specification.         num_tiles_in_slice_minus1 plus 1, when present, specifies the         number of tiles in the slice. The value of         num_tiles_in_slice_minus1 shall be in the range of 0 to         NumTilesInPic−1, inclusive.

The variable NumCtusInCurrSlice, which specifies the number of CTUs in the current slice, and the list CtbAddrInCurrSlice[i], for i ranging from 0 to NumCtusInCurrSlice−1, inclusive, specifying the picture raster scan address of the i-th CTB within the slice, are derived as follows:

if( rect_slice_flag ) {  picLevelSliceIdx = slice_address  for( j = 0; j < CurrSubpicIdx; j++ )   picLevelSliceIdx += NumSlicesInSubpic[ j ]  NumCtusInCurrSlice = NumCtusInSlice[ picLevelSliceIdx ]  for( i = 0; i < NumCtusInCurrSlice; i++ )   CtbAddrInCurrSlice[ i ] = CtbAddrInSlice[ picLevelSliceIdx ][ i ] (117) } else {  NumCtusInCurrSlice = 0  for( tileIdx = slice_address; tileIdx <= slice_address + num_tiles_in_slice_minus1; tileIdx++ ) {   tileX = tileIdx % NumTileColumns   tileY = tileIdx / NumTileColumns   for( ctbY = tileRowBd[ tileY ]; ctbY < tileRowBd[ tileY + 1 ]; ctbY++ ) {    for( ctbX = tileColBd[ tileX ]; ctbX < tileColBd[ tileX + 1 ]; ctbX++ ) {     CtbAddrInCurrSlice[ NumCtusInCurrSlice ] = ctbY * PicWidthInCtb + ctbX     NumCtusInCurrSlice++    }   }  } }

The variables SubpicLeftBoundaryPos, SubpicTopBoundaryPos, SubpicRightBoundaryPos, and SubpicBotBoundaryPos are derived as follows:

if( subpic_treated_as_pic_flag[ CurrSubpicIdx ] ) {  SubpicLeftBoundaryPos = subpic_ctu_top_left_x[ CurrSubpicIdx ] * CtbSizeY  SubpicRightBoundaryPos = Min( pic_width_max_in_luma_samples − 1,   ( subpic_ctu_top_left_x[ CurrSubpicIdx ] +   subpic_width_minus1[ CurrSubpicIdx ] + 1 ) * CtbSizeY − 1 )  SubpicTopBoundaryPos = subpic_ctu_top_left_y[ CurrSubpicIdx ] * CtbSizeY (118)  SubpicBotBoundaryPos = Min( pic_height_max_in_luma_samples − 1,   ( subpic_ctu_top_left_y[ CurrSubpicIdx ] +   subpic_height_minus1[ CurrSubpicIdx ] + 1 ) * CtbSizeY − 1 ) }

3.5. Color Space and Chroma Subsampling

Color space, also known as the color model (or color system), is an abstract mathematical model which simply describes the range of colors as tuples of numbers, typically as 3 or 4 values or color components (e.g. RGB). Basically speaking, color space is an elaboration of the coordinate system and sub-space.

For video compression, the most frequently used color spaces are luma, blue difference chroma, and red difference chroma (YCbCr) and red, green, blue (RGB).

YCbCr, Y′CbCr, or Y Pb/Cb Pr/Cr, also written as YCBCR or Y′CBCR, is a family of color spaces used as a part of the color image pipeline in video and digital photography systems. Y′ is the luma component and CB and CR are the blue-difference and red-difference chroma components. Y′ (with prime) is distinguished from Y, which is luminance, meaning that light intensity is nonlinearly encoded based on gamma corrected RGB primaries.

Chroma subsampling is the practice of encoding images by implementing less resolution for chroma information than for luma information, taking advantage of the human visual system's lower acuity for color differences than for luminance.

3.5.1. 4:4:4

Each of the three Y′CbCr components have the same sample rate, thus there is no chroma subsampling. This scheme is sometimes used in high-end film scanners and cinematic post production.

3.5.2. 4:2:2

The two chroma components are sampled at half the sample rate of luma: the horizontal chroma resolution is halved while the vertical chroma resolution is unchanged. This reduces the bandwidth of an uncompressed video signal by one-third with little to no visual difference. An example of nominal vertical and horizontal locations of 4:2:2 color format is depicted in FIG. 5 in VVC working draft.

3.5.3. 4:2:0

In 4:2:0, the horizontal sampling is doubled compared to 4:1:1, but as the Cb and Cr channels are only sampled on each alternate line in this scheme, the vertical resolution is halved. The data rate is thus the same. Cb and Cr are each subsampled at a factor of 2 both horizontally and vertically. There are three variants of 4:2:0 schemes, having different horizontal and vertical siting.

-   -   In MPEG-2, Cb and Cr are cosited horizontally. Cb and Cr are         sited between pixels in the vertical direction (sited         interstitially).     -   In Joint Photographic Experts Group (JPEG)/JPEG File Interchange         Format (MIR H.261, and MPEG-1, Cb and Cr are sited         interstitially, halfway between alternate luma samples.     -   In 4:2:0 Digital Video (DV), Cb and Cr are co-sited in the         horizontal direction. In the vertical direction, they are         co-sited on alternating lines.

TABLE 3-1 SubWidthC and SubHeightC values derived from chroma_format_idc and separate_colour_plane_flag • chroma_ separate_colour_ Chroma format_idc plane_flag format SubWidthC SubHeightC 0 0 Monochrome 1 1 1 0 4:2:0 2 2 2 0 4:2:2 2 1 3 0 4:4:4 1 1 3 1 4:4:4 1 1

4. EXAMPLES OF TECHNICAL PROBLEMS SOLVED BY DISCLOSED EMBODIMENTS

The existing designs for signaling of SPS/PPS/Picture header/Slice header in VVC have the following problems:

-   -   1) When rect_slice_flag is equal to 1, according to the current         VVC text, the following applies:         -   a. slice address represents the subpicture-level slice index             of the slice.         -   b. The subpicture-level slice index is defined as the index             of a slice to the list of slices in a subpicture in the             order as they are signalled in the PPS.         -   c. The picture-level slice index is defined as the index of             a slice to the list of slices in a picture in the order as             they are signalled in the PPS.         -   d. For any two slices belonging to two different             subpictures, the one associated with the less subpicture             index goes earlier in decoding order, and for any two slices             belonging to the same subpicture, the one with the less             subpicture-level slice index goes earlier in decoding order.         -   e. And the derivation of the variable NumCtusInCurrSlice,             which specifies the number of CTUs in the current slice, by             Equation 117 in the current VVC text, assumes that the order             of increasing picture-level slice index values is the same             as the decoding order of slices.         -   However, when some slices are resulted from splitting one             tile, some of the above aspects may be violated. As an             example shown in FIG. 6 , when a picture is partitioned into             two tiles by a vertical tile boundary, and each of the two             tiles is partitioned into two slices by the same horizontal             boundary across the entire picture, and the upper two slices             are included into the first subpicture and the lower two             slices are included into the second subpicture. In this             case, according to the current VVC text, the picture-level             slice index values of the four slices in slice raster scan             order would be 0, 2, 1, 3, while the decoding order index             values of the four slices in slice raster scan order would             be 0, 1, 2, 3. Consequently, the derivation of             NumCtusInCurrSlice would be incorrect, and in turn the             parsing of slice data would be problematic, the decoded             sample values won't be correct, and the decoder would likely             to crash.     -   2) There are two types of slice signaling methods. With the         rectangular mode, all the slice partitioning information is         signaled in PPS. With the non-rectangular mode, partial of the         slice partitioning information is signaled in the slice header,         thus in this mode the full slice partitioning of a picture         cannot be known before parsing all slices of the picture.     -   3) With the rectangular mode, the slices may be signaled         arbitrarily by setting tile_idx_delta. An evil bitstream may         make the decoder crash with this mechanism.     -   4) In some embodiments, an uninitialized tile_idx_delta[i] when         i is equal to num_slices_in_pic minus1.     -   5) Merge Estimation Region (MER) size could be as small as 4×4.         However, if the signaled MER size is smaller than the minimum         coding unit (CU) size, it is meaningless.     -   6) From the syntax table, it is noted that the width of         ‘num_exp_tile_columns_minus1’-th tile column is presented in the         syntax table as         tile_column_width_minus1[num_exp_tile_columns_minus1]. However,         in the semantics,         tile_column_width_minus1[num_exp_tile_columns_minus1] is used to         derive the width of the tile columns with index greater than or         equal to num_exp_tile_columns_minus1 as specified in clause         6.5.1. That is, the width of ‘num_exp_tile_columns_minus1’-th         tile column could be reset. Similar for the height of         ‘num_exp_tile_columns_minus1’-th tile row.

FIG. 6 shows an example of picture partitioning. Solid lines 602 represent boundaries of tiles; dashed lines 604 represent boundaries of slices and dashed lines 606 represent boundaries of subpictures. The picture-level indices, decoding order indices, subpicture-level indices of the four slices and the indices of subpictures and tiles are indicated in the figure.

5. EXAMPLE EMBODIMENTS AND TECHNIQUES

To solve the above problems, and others, methods as summarized below are disclosed. The embodiments should be considered as examples to explain the general concepts and should not be interpreted in a narrow way. Furthermore, these embodiments can be applied individually or combined in any manner.

-   -   1. For slices of the rectangular slices mode (i.e., when         rect_slice_flag is equal to 1), the picture-level slice index         for each slice in each subpicture is derived, and the derived         value is used for the derivation of the number of CTUs in each         slice.     -   2. The subpicture-level slice index may be defined/derived in         the following ways:         -   a. In one example, the subpicture-level slice index is             defined as “The index of a slice to the list of slices in a             subpicture in their decoding order when the rect_slice_flag             is equal to 1.”         -   b. Alternatively, the subpicture-level slice index is             defined as “The index of a slice to the list of slices in a             subpicture when the rect_slice_flag is equal to 1, as             specified by the variable SubpicLevelSliceIdx[i] as derived             in Equation 32 (as in Embodiment 1), where i is the             picture-level slice index of the slice.”         -   c. In one example, the subpicture index of each slice with a             particular value of picture-level slice index is derived.         -   d. In one example, the subpicture-level slice index of each             slice with a particular value of picture-level slice index             is derived.         -   e. In one example, when rect_slice_flag is equal to 1, the             semantics of the slice address is specified as “The slice             address is the subpicture-level slice index of the slice as             specified by the variable SubpicLevelSliceIdx[i] as derived             in Equation 32 (e.g., as in Embodiment 1), where i is the             picture-level slice index of the slice.”     -   3. A subpicture-level slice index of the slice is assigned to a         slice in a first subpicture which contains the slice. The         subpicture-level slice index for each slice may be stored in an         array (e.g. SubpicLevelSliceIdx[i] in Embodiment 1) indexed by         the picture-level slice index.         -   a. In one example, the subpicture-level slice index is a             non-negative integer.         -   b. In one example, the value of a subpicture-level slice             index of the slice is greater than or equal to 0.         -   c. In one example, the value of a subpicture-level slice             index of the slice is smaller than N, wherein N is the             number of slices in the subpicture.         -   d. In one example, a first subpicture-level slice index             (denoted as subIdxA) of a first slice (slice A) must be             different to a second subpicture-level slice index (denoted             as subIdxB) of a second slice (slice B) if the first slice             and the second slice are in the same subpicture but they are             different.         -   e. In one example, if a first subpicture-level slice index             (denoted as subIdxA) of a first slice (slice A) in a first             subpicture is smaller than a second subpicture-level slice             index (denoted as subIdxB) of a second slice (slice B) in             the same first subpicture, IdxA is smaller than IdxB,             wherein idxA and idxB represent the slice index in the whole             picture (a.k.a. picture-level slice index, e.g. sliceIdx)             for slice A and slice B, respectively.         -   f In one example, if a first subpicture-level slice index             (denoted as subIdxA) of a first slice (slice A) in a first             subpicture is smaller than a second subpicture-level slice             index (denoted as subIdxB) of a second slice (slice B) in             the same first subpicture, slice A is ahead of slice B in             the decoding order.         -   g. In one example, the subpicture-level slice index in a             subpicture is derived based on the picture-level slice index             (e.g. sliceIdx).     -   4. It is proposed to derive a mapping function/table between the         subpicture-level slice index in a sub-picture and the         picture-level slice index.         -   a. In one example, a two-dimensional array             PicLevelSliceIdx[subPicIdx][SubPicLevelSliceIdx] is derived             to map the subpicture-level slice index in a sub-picture to             the picture-level slice index, wherein             PicLevelSliceIdxdenotes the picture-level slice index of a             slice, subPicIdx denotes the index of the subpicture, and             SubPicLevelSliceIdxdenotes the subpicture-level slice index             of the slice in the subpicture.             -   i. In one example, an array NumSlicesInSubpic[subPicIdx]                 is used to derive PicLevelSliceIdx, wherein                 NumSlicesInSubpic[subPicIdx] denotes the number of                 slices in the subpicture with index equal to subPicIdx.                 -   1) In one example, NumSlicesInSubpic[subPicIdx] and                     PicLevelSliceIdx [subPicIdx][SubPicLevelSliceIdx]                     are derived in a single process by scanning all the                     slices in the order of picture-level slice index.                 -   a. NumSlicesInSubpic[subPicIdx] is set equal to 0                     for all valid subPicIdx before the process.                 -   b. When checking a slice with picture level index                     equal to S, if it is in the subpicture with                     subpicture index equal to P,                     PicLevelSliceIdx[P][NumSlicesInSubpic[P]] is set                     equal to S, and then NumSlicesInSubpic[P] is set                     equal to NumSlicesInSubpic[P]+1.             -   ii. In one example,                 SliceIdxInPic[subPicIdx][SubPicLevelSliceIdx] is used to                 derive the picture level slice index (e.g.                 picLevelSliceIdx), which is then used to derive the                 number and/or addresses of CTBs in the slice when                 parsing the slice header.     -   5. It is required by a conformance bitstream that one tile         cannot be in more than one subpictures.     -   6. It is required by a conformance bitstream that one subpicture         cannot include two slices, denoted as slice A and slice B,         wherein slice A is in but is smaller than a tile A, and slice B         is in but is smaller than a tile B, and tile A and tile B are         different.     -   7. It is proposed that the tile and/or slice portioning         information of a picture may be signaled in the associated         picture header.         -   a. In one example, it is signaled in an associated PPS             whether the tile and/or slice portioning information of a             picture is signaled in the PPS or in the associated picture             header.         -   b. In one example, it is signaled in the picture header             whether the tile and/or slice portioning information of a             picture is in the associated picture header.             -   i. In one example, if the tile and/or slice portioning                 information of a picture is signaled both in an                 associated PPS and in an associated picture header, the                 tile and/or slice portioning information of a picture                 signaled in the picture header will be used.             -   ii. In one example, if the tile and/or slice portioning                 information of a picture is signaled both in an                 associated PPS and in an associated picture header, the                 tile and/or slice portioning information of a picture                 signaled in the PPS will be used.         -   c. In one example, it is signaled in a video unit at a level             higher than picture (such as in SPS) to indicate whether the             tile and/or slice portioning information of a picture is             signaled in the associated PPS or in the associated picture             header.     -   8. It is proposed that the slice partitioning information is         signaled in a higher-level video unit (such as in PPS and/or         picture header) higher than the slice level when the associated         picture is partitioned in slices with the non-rectangular mode.         -   a. In one example, the information to indicate the number of             slices (e.g. num_slices_in_pic_minus1) may be signaled in             the higher-level video unit when the associated picture is             partitioned in slices with the non-rectangular mode.         -   b. In one example, the information to indicate the index (or             address, or location, or coordinate) of the first block-unit             of a slice in the higher-level video unit when the             associated picture is partitioned in slices with the             non-rectangular mode. For example, the block-unit may be a             CTU or a tile.         -   c. In one example, the information to indicate the number of             the block-units of a slice in the higher-level video unit             when the associated picture is partitioned in slices with             the non-rectangular mode. For example, the block-unit may be             a CTU or a tile.         -   d. In one example, the slice partitioning information (e.g.             num_tiles_in_slice_minus1) is not signaled in the slice             header when the associated picture is partitioned in slices             with the non-rectangular mode.         -   e. In one example, the slice index is signaled in the slice             header when the associated picture is partitioned in slices             with the non-rectangular mode.             -   i. In one example, slice_address is interpreted as the                 picture-level slice index when the associated picture is                 partitioned in slices with the non-rectangular mode.         -   f In one example, the partitioning information (such as the             index of the first block-unit and/or the number of the             block-units) of each slice in a picture may be signaled in             an order in the higher-level video unit when the associated             picture is partitioned in slices with the non-rectangular             mode.             -   i. In one example, the index of a slice may be signaled                 for each slice in the higher-level video unit when the                 associated picture is partitioned in slices with the                 non-rectangular mode.             -   ii. In one example, the partitioning information of each                 slice is signaled in an ascending order of slice                 indices.                 -   1) In one example, the partitioning information of                     each slice is signaled in the order of slice 0,                     slice 1, . . . , slice K−1, slice K, slice K+1,                     slice S−2, slice S−1, wherein K represents a slice                     index and S represents the number of slices in the                     picture.             -   iii. In one example, the partitioning information of                 each slice is signaled in a descending order of slice                 indices.                 -   1) In one example, the partitioning information of                     each slice is signaled in the order of slice S−2,                     slice S−1, . . . , slice K+1, slice K, slice K−1, .                     . . , slice 1, slice 0, wherein K represents a slice                     index and S represents the number of slices in the                     picture.             -   iv. In one example, the index of the first block-unit                 for a slice may not be signaled in the higher-level                 video unit when the associated picture is partitioned in                 slices with the non-rectangular mode.                 -   1) For example, the index of the first block-unit                     for slice 0 (the slice with the slice index equal                     to 0) is inferred to be 0.                 -   2) For example, the index of the first block-unit                     for slice K (the slice with the slice index equal to                     K, K>0) is inferred to be Σ_(i=0) ^(K−1) N_(i),                     wherein N_(i) represents the number of block-units                     in slice i.             -   v. In one example, the index of the first block-unit for                 a slice may not be signaled in the higher-level video                 unit when the associated picture is partitioned in                 slices with the non-rectangular mode.                 -   1) For example, the index of the first block-unit                     for slice 0 (the slice with the slice index equal                     to 0) is inferred to be 0.                 -   2) For example, the index of the first block-unit                     for slice K (the slice with the slice index equal to                     K, K>0) is inferred to be Σ_(i=0) ^(K−1) N_(i),                     wherein N_(i) represents the number of block-units                     in slice i.             -   vi. In one example, the number of block-units for a                 slice may not be signaled in the higher-level video unit                 when the associated picture is partitioned in slices                 with the non-rectangular mode.                 -   1) The number of block-units for slice 0 is M when                     there is only one slice in the picture and there are                     M blocks units in the picture.                 -   2) For example, the number of block-units for slice                     K (the slice with the slice index equal to 0) is                     inferred to be T_(K+1)−T_(K), wherein T_(K)                     represents the index of the first block-unit for                     slice K when K<S−1, wherein S is the number of                     slices in the picture and S>1.                 -   3) For example, the number of block-units for slice                     S−1 is inferred to be M−Σ_(i=0) ^(S−2) N_(i),                     wherein S is the number of slices in the picture and                     S>1, M is the number of blocks units in the picture,             -   vii. In one example, the partitioning information of one                 or more slices may NOT be signaled in the higher-level                 video unit when the associated picture is partitioned in                 slices with the non-rectangular mode.                 -   1) In one example, the partitioning information of                     one or more slices may NOT be signaled in the                     higher-level video unit may be inferred by the                     partitioning information of other slices to be                     signaled.                 -   2) In one example, the partitioning information of                     the last C slices may NOT be signaled. E.g. C is                     equal to 1.                 -   3) For example, the number of block-units for slice                     S−1 is not signaled, wherein S is the number of                     slices in the picture and S>1.                 -   a. For example, the number of block-units for slice                     S−1 is inferred to be M−Σ_(i=0) ^(S−2) N_(i),                     wherein there are M blocks units in the picture.     -   9. It is proposed that the minimum number of slices in a picture         may be different depending on whether rectangular partitioning         is applied, or non-rectangular partitioning is applied.         -   a. In one example, the picture is partitioned into at least             two slices if non-rectangular partitioning mode is applied,             and the picture is partitioned into at least one slice if             rectangular partitioning mode is applied.             -   i. For example, num_slices_in_pic_minus2 plus 2                 specifying the number of slices in a picture may be                 signaled if non-rectangular partitioning mode is                 applied.         -   b. In one example, the picture is partitioned into at least             one slices if non-rectangular partitioning mode is applied,             and the picture is partitioned into at least one slice if             rectangular partitioning mode is applied.             -   i. For example, num_slices_in_pic_minus2 plus 2                 specifying the number of slices in a picture may be                 signaled if rectangular partitioning mode is applied.         -   c. In one example, the minimum number of slices in a picture             may be different depending on whether rectangular             partitioning is applied, or non-rectangular partitioning is             applied when the picture is not partitioned into subpictures             or partitioned into only one subpicture.     -   10. It is proposed that a slice is represented by the top-left         location and the width/height of the slice when the partitioning         information is signaled in a video unit such as PPS or picture         header.         -   a. In one example, the index/location/coordinate of the             top-left block unit (such as CTU or tile) and/or the width             measured with video unit (such as CTU or tile), and/or             height measured with video unit (such as CTU or tile) of a             slice is signaled.         -   b. In one example, the information of top-left location and             the width/height of each slice is signaled in an order.             -   i. For example, the information of top-left location and                 the width/height of each slice is signaled in an                 ascending order of slice indices, such as 0, 1, 2, . . .                 , S−1, wherein S is the number of slices in a picture.         -   c. In one example, the width of a slice minus X may be             signaled. For example, X is equal to 1. In one example,             slice_width_minus1[i] plus 1 indicates the width of the i-th             slice and slice_width_minus1[i] is signaled. In the             disclosure, “the width of a slice is signaled” may mean that             “the width of a slice minus X is signaled”.         -   d. In one example, the height of a slice minus X may be             signaled. For example, X is equal to 1. In one example,             slice_height_minus1[i] plus 1 indicates the height of the             i-th slice and slice_height_minus1[i] is signaled. In the             disclosure, “the height of a slice is signaled” may mean             that “the height of a slice minus X is signaled”.         -   e. In one example, whether a slice is signaled by the             top-left location and the width/height of the slice may be             conditioned by the slice signaling way.             -   i. In one example, a slice is signaled by the top-left                 location and the width/height of the slice only if a                 picture is partitioned into rectangular slices.         -   f. In one example, whether a slice is signaled by the             top-left location and the width/height of the slice may be             conditioned by the relationship between slice partitioning             and subpicture partitioning.             -   i. In one example, a slice is signaled by the top-left                 location and the width/height of the slice only if the                 statement “each subpicture has only one slice” is not                 true. (e.g. single_slice_per_subpic_flag is equal to 0)         -   g. In one example, whether a slice is signaled by the             top-left location and the width/height of the slice may be             conditioned by the number of slices in the picture.             -   i. In one example, a slice is signaled by the top-left                 location and the width/height of the slice only if the                 number of slices in the picture is larger than 1 (e.g.                 num_slices_in_pic_minus1>0).         -   h. In one example, one syntax element (e.g. a flag such as             slice_represented_in_ctb_flag[i]) may be signaled to             indicate whether top-left location and the width/height of             the i-th slice are represented in units of CTU sizes or tile             widths/heights.             -   i. Alternatively, one syntax element (e.g. a flag such                 as slice_represented_in_ctb_flag) may be signaled to                 indicate whether top-left locations and the                 widths/heights of all slices are represented in units of                 CTU sizes or tile widths/heights.             -   ii. Alternatively, top-left locations and the                 widths/heights of all slices are represented in units of                 CTU sizes.         -   i. Whether to signal x-coordinate/y-coordinate of the             top-left location (denoted as slice_top_left_x[i] and             slice_top_left_y[i]) and the width/height (denoted as             slice_width_minus1[i] and slice_height_minus1[i]) of the             i-th slice may be conditioned.             -   i. In one example, that may be conditioned on the value                 of i and/or the CTB size (denoted as CtbSizeY) and/or                 the width/height of the current picture (denoted as                 pic_width_in_luma_samples and pic height in luma                 samples), and/or the number of slices in the picture                 (denoted as num_slices_in_pic_minus1)             -   ii. Exemplary conditioned signaling are shown in the                 syntax table below.

if( i > 0 && pic_width_in_luma_samples > CtbSizeY )  slice_top_left_x[ i ] u(v) if( i > 0 && pic_height_in_luma_samples > CtbSizeY ) {  slice_top_left_y[ i ] u(v) if( i < num_slices_in_pic_minus1 && pic_width_in_luma_ samples > CtbSizeY )  slice_width_minus1[ i ] u(v) if( i < num_slices_in_pic_minus1 &&pic_height_in_luma_ samples > CtbSizeY )  slice_height_minus1[ i ] u(v)

-   -   -   j. When at least one of x-coordinate/y-coordinate of the             top-left location (denoted as slice_top_left_x[i] and             slice_top_left_y[i]) and the width/height (denoted as             slice_width_minus1[i] and slice_height_minus1[i]) of the             i-th slice is not signaled, it may be inferred to be a             default value.             -   i. In one example, the default value may be zero.             -   ii. In one example, the default value may depend on                 slice_represented_in_ctb_flag[i]             -   iii. E.g. when not present, the value of                 slice_top_left_x[i] is inferred to be equal to 0.             -   iv. E.g. when not present, the value of                 slice_top_left_y[i] is inferred to be equal to 0.             -   v. E.g. when not present, the value of                 slice_width_minus1[i] is inferred to be equal to                 (slice_represented_in_ctb_flag[i]?((pic_width_in_luma_samples+CtbSizeY−1)>>CtbLog                 2SizeY): NumTileColumns)−slice_top_left_x[i]−1.             -   vi. E.g. when not present, the value of                 slice_height_minus1[i] is inferred to be equal to                 (slice_represented_in_ctb_flag[i]?((pic_height_in_luma_samples+CtbSizeY−1)>>CtbLog                 2SizeY): NumTileRows)−slice_top_left_y[i]−1.

    -   11. It is proposed that the partitioning information (such as         location/width/height) for slices in a subpicture is signaled in         a video unit such as SPS/PPS/picture header.         -   a. In one example, the slice partitioning information for             each subpicture is signaled in an order.             -   i. For example, the slice partitioning information for                 each subpicture is signaled in an ascending order of                 subpicture index.         -   b. In one example, the partitioning information (such as             location/width/height) for each slice in a subpicture is             signaled in an order.             -   i. In one example, the partitioning information (such as                 location/width/height) for each slice in a subpicture is                 signaled in an ascending order of subpicture-level slice                 index.

    -   12. It is proposed that the difference between the tile index of         the first tile in the i-th rectangular slice and the tile index         of the first tile in the (i+1)-th rectangular slice (denoted as         tile_idx_delta[i]) is not signaled but derived.         -   a. In one example, the tile index of the first tile in the             (i+1)-th rectangular slice is derived based on the             rectangular slices from the 0^(th) rectangular slice to the             i-th rectangular slice.         -   b. In one example, the tile index of the first tile in the             (i+1)-th rectangular slice is derived to be the minimum             index of the tiles, which are not inside the rectangular             slices from the 0^(th) rectangular slice to the i-th             rectangular slice.

    -   13. It is proposed that the signaling of information to derive         the number of tile columns/rows (e.g. NumTileColumns or         NumTileRows) may be conditioned on the relationship between the         width of a picture and the size of a CTU.         -   a. For example, num_exp_tile_columns_minus1 and/or             tile_column_width_minus1 may not be signaled if the width of             a picture is smaller than or equal to the size or width of a             CTU.         -   b. For example, num_exp_tile_rows_minus1 and/or             tile_row_height_minus1 may not be signaled if the height of             a picture is smaller than or equal to the size or height of             a CTU.

    -   14. There must be one and only one CurrSubpicIdx that satisfies         SubpicIdVal[CurrSubpicIdx] is equal to slice_subpic_id when         slice_subpic_id is present.

    -   15. If rect_slice_flag is equal to 0 or subpic_info_present_flag         is equal to 0, the value of slice_address+i, wherein i is in the         range of 0 to num_tiles_in_slice_minus1, inclusively, shall not         be equal to the value of slice_address+j, wherein j is in the         range of 0 to num_tiles_in_slice_minus1, inclusively, of any         other coded slice NAL unit of the same coded picture, wherein i         is in the range.

    -   16. In case that there are both uniform spacing tiles and         non-uniform spacing tiles in pictures, a syntax element may be         signaled in PPS (or SPS) to specify the type of tile layout.         -   a. In one example, there may be a syntax flag signaled in             PPS to specify whether the tile layout is non-uniform             spacing followed by uniform spacing, or, uniform spacing             followed by non-uniform spacing.         -   b. For example, whenever there are non-uniform spacing             tiles, the number of explicitly provided tile columns/rows             (e.g., num_exp_tile_columns_minus1,             num_exp_tile_rows_minus1) may be NO less than the total             number of non-uniform tiles.         -   c. For example, whenever there are uniform spacing tiles,             the number of explicitly provided tile columns/rows (e.g.,             num_exp_tile_columns_minus1, num_exp_tile_rows_minus1) may             be less or equal to the total number of uniform tiles.         -   d. If the tile layout is like uniform spacing followed by             non-uniform spacing (i.e., a picture is starting with             uniform spacing tiles and ended with multiple non-uniform             spacing tiles),             -   i. In one example, the widths of tile columns for                 non-uniform spacing tiles located in the latter of                 picture may be firstly assigned in inverse order (i.e.,                 with the order of the tile index equal to                 NumTileColumns, NumTileColumns−1, NumTileColumns−2, . .                 . ), and then the widths of tile columns for uniform                 spacing tiles located in the former of picture may be                 implicitly derived in inverse order (i.e., with the                 order of the tile index equal to NumTileColumns−T,                 NumTileColumns−T−1, . . . , 2, 1, 0, where T indicates                 the number of non-uniform tile columns).             -   ii. The heights of tile rows may be derived in a same                 way of the width of tile colomns as mentioned above.

    -   17. The syntax element to specify the difference between the         representative tile indices of two rectangular slices, wherein         one of them is the i-th slice (e.g. tile_idx_delta[i]) can only         be used when a condition is true.         -   a. In one example, the condition is             (i<num_slices_inpic_minus1), wherein num_slices_inpic_minus1             plus 1 represents the number of slices in the picture.         -   b. In one example, the condition is             (i!=num_slices_inpic_minus1), wherein             num_slices_inpic_minus1 plus 1 represents the number of             slices in the picture.

    -   18. Whether to and/or how to signal or interpret or restrict the         Merge Estimation Region (MER) size (e.g. signaled by log         2_parallel_merge_level_minus2) may depend on the minimum allowed         coding block size (e.g. signaled/denoted as log         2_min_luma_coding_block_size_minus2 and/or MinCbSizeY).         -   a. In one example, it is required that the size of MER             cannot be smaller than the minimum allowed coding block             size.             -   i. For example, it is required that log                 2_parallel_merge_level_minus2 shall be equal to or                 larger than log 2_min_luma_coding_block_size_minus2.             -   ii. For example, it is required that log                 2_parallel_merge_level_minus2 shall be in the range of                 log 2_min_luma_coding_block_size_minus2 to CtbLog                 2SizeY−2.         -   b. In one example, the difference between Log 2(MER size)             and Log 2(MinCbSizeY) is signaled, which is denoted as log             2_parallel_merge_level_minus_log 2_mincb.             -   i. For example, log 2_parallel_merge_level_minus_log                 2_mincb is coded by a unary code (ue).             -   ii. For example, it is required that log                 2_parallel_merge_level_minus_log 2_mincb shall be in the                 range of 0 to CtbLog 2SizeY−log                 2_min_luma_coding_block_size_minus2−2.             -   iii. For example, Log 2ParMrgLevel=log                 2_parallel_merge_level_minus_log 2_mincb+log                 2_min_luma_coding_block_size_minus2+2, wherein Log                 2ParMrgLevel is used to control the MER size.

    -   19. It is proposed that, when num_exp_slices_in_tile[i] is equal         to 0, the slice height in units of CTU rows for the i-th slice,         e.g., denoted as sliceHeightInCtus[i], is derived.         -   a. In one example, sliceHeightInCtus[i] is derived to be             equal to RowHeight[SliceTopLeftTileIdx[i]/NumTileColumns]             when num_exp_slices_in_tile[i] is equal to 0.

    -   20. It is proposed that the (num_exp_slices_in_tile[i]−1)-th         slice in the tile containing the i-th slice in a picture always         exists and the height is always         exp_slice_height_in_ctus_minus1[i][num_exp_slices_in_tile[i]−1]+1         CTU rows.         -   a. Alternatively, the (num_exp_slices_in_tile[i]−1)-th slice             in the tile containing the i-th slice in a picture may or             may not exist and the height is less than or equal to             exp_slice_height_in_ctus_minus1[i][num_exp_slices_in_tile[i]−1]+1             CTU rows.

    -   21. It is proposed that, during the derivation of information         for rectangular slices, the variable tileIdx is only updated for         slices with picture-level slice index less than         num_slices_inpic_minus1, i.e., not updated for the last slice in         each picture referring to the PPS.

    -   22. It is proposed that the num_exp_tile_columns_minus1-th tile         column always exists in pictures referring to the PPS and the         width is always         tile_column_width_minus1[num_exp_tile_columns_minus1]+1 CTBs.

    -   23. It is proposed that the num_exp_tile_rows_minus1-th tile row         always exists in pictures referring to the PPS and the height is         always tile_column_height_minus1[num_exp_tile_rows_minus1]+1         CTBs.

    -   24. It is proposed that, when the max picture width and the max         picture height are both not greater than CtbSizeY, the         signalling of the syntax element sps_num_subpics_minus1 may be         skipped.         -   a. Alternatively, additionally, the value of             sps_num_subpics_minus1 is inferred to be equal to 0 when the             above condition is true.

    -   25. It is proposed that, when the picture width is not greater         than CtbSizeY, the signalling of the syntax element         num_exp_tile_columns_minus1 may be skipped.         -   b. Alternatively, additionally, the value of             num_exp_tile_columns_minus1 is inferred to be equal to 0             when the above condition is true.

    -   26. It is proposed that, when the picture height is not greater         than CtbSizeY, the signalling of the syntax element         num_exp_tile_rows_minus1 may be skipped.         -   c. Alternatively, additionally, the value of             num_exp_tile_row_minus1 is inferred to be equal to 0 when             the above condition is true.

    -   27. It is proposed that, when num_exp_tile_columns_minus1 is         equal to PicWidthInCtbsY−1, the signalling of the syntax         elements tile_column_width_minus1[i] for i ranging from 0 to         num_exp_tile_columns_minus1, inclusive, may be skipped.         -   d. Alternatively, additionally, the value of             tile_column_width_minus1[i] is inferred to be equal to 0.

    -   28. It is proposed that, when num_exp_tile_rows_minus1 is equal         to PicHeightInCtbsY−1, the signalling of the syntax elements         tile_row_height_minus1[i] for i ranging from 0 to         num_exp_tile_rows_minus1, inclusive, may be skipped.         -   e. Alternatively, additionally, the value of             tile_row_height_minus1[i] is inferred to be equal to 0.

    -   29. It is proposed that the height of uniform slices that         partition a tile is indicated by the last entry of         exp_slice_height_in_ctus_minus1[ ]s that indicate height of         slices in that tile. Uniform slices are slices below slices         explicitly signaled. For example:         uniformSliceHeight=exp_slice_height_in_ctus_minus1[i][num_exp_slices_in_tile[i]−1]+1

    -   30. It is proposed that the width of         ‘num_exp_tile_columns_minus1’-th tile column is disallowed to be         reset, that is, the parsed value from the bitstream (e.g.,         denoted by         tile_column_width_minus1[num_exp_tile_columns_minus1]) may be         directly used to derive the width without referring other         information.         -   a. In one example, the width of             ‘num_exp_tile_columns_minus1’-th tile column is directly set             to tile_column_width_minus1[num_exp_tile_columns_minus1]             plus 1. Alternatively, furthermore,             tile_column_width_minus1[num_exp_tile_columns_minus1] is             used to derive the width of the tile columns with index             greater than num_exp_tile_columns_minus1, e.g., as specified             in clause 6.5.1.         -   b. Similarly, for the height of             ‘num_exp_tile_columns_minus1’-th tile row is disallowed to             be reset, that is, the parsed value from the bitstream             (e.g., denoted by             tile_row_height_minus1[num_exp_tile_columns_minus1]) may be             directly used to derive the height without referring other             information.             -   i. In one example, the height of                 ‘num_exp_tile_columns_minus1’-th tile row is directly                 set to                 tile_row_height_minus1[num_exp_tile_columns_minus1]                 plus 1. Alternatively, furthermore,                 tile_row_height_minus1[num_exp_tile_columns_minus1] is                 used to derive the height of the tile rows with index                 greater than num_exp_tile_columns_minus1, e.g., as                 specified in clause 6.5.1.

    -   31. It is proposed that the height of the         (num_exp_slices_in_tile[i]−1)-th slice in a tile is disallowed         to be reset, that is, the parsed value from the bitstream (e.g.,         denoted by         exp_slice_height_in_ctus_minus1[i][num_exp_slices_in_tile[i]−1])         may be directly used to derive the height without referring         other information.         -   a. In one example, the height of the             (num_exp_slices_in_tile[i]−1)-th slice in a tile is directly             set to exp_slice_height_in_ctus_minus1[i]             [num_exp_slices_in_tile[i]−1] plus 1. Alternatively,             furthermore,             exp_slice_height_in_ctus_minus1[i][num_exp_slices_in_tile[i]−1]             is used to derive the height of the slices with index             greater than num_exp_slices_in_tile[i]−1.

    -   32. It is proposed that         exp_slice_height_in_ctus_minus1[i][num_exp_slices_in_tile[i]−1]         is used to derive the uniform slice height, instead of         specifying the height of the (num_exp_slices_in_tile[i]−1)-th         slice.         -   a. Alternatively,             exp_slice_height_in_ctus_minus1[i][num_exp_slices_in_tile[i]−1]             is used to derive the uniform slice height, as well as             specifying the height of the             (num_exp_slices_in_tile[i]−1)-th slice.         -   b. Alternatively,             exp_slice_height_in_ctus_minus1[i][num_exp_slices_in_tile[i]−1]             is used to derive the uniform slice height. In some cases,             it may specify the height of the             (num_exp_slices_in_tile[i]−1)-th slice but in some cases, it             may not specify the height of the             (num_exp_slices_in_tile[i]−1)-th slice.

    -   33. It is proposed that firstRemainingWidthInCtbsY shall be         equal to or larger than uniformTileColWidth wherein the         variables firstRemainingWidthInCtbsY and uniformTileColWidth are         calculated as

remainingWidthInCtbsY = PicWidthInCtbsY for( i = 0; i < num_exp_tile_columns_minus1; i++ ) {  colWidth[ i ] = tile_column_width_minus1[ i ] + 1  remainingWidthInCtbsY −= colWidth[ i ] } firstRemainingWidthInCtbsY = remainingWidthInCtbsY uniformTileColWidth = tile_column_width_minus1[ num_exp_tile_columns_minus1 ] + 1

-   -   34. It is proposed that firstRemainingHeightInCtbsY shall be         equal to or larger than uniformTileRowHeight wherein the         variables firstRemainingHeightInCtbsY and uniformTileRowHeight         are calculated as

remainingHeightInCtbsY = PicHeightInCtbsY for( j = 0; j < num_exp_tile_rows_minus1; j++ ) {  RowHeight[ j ] = tile_row_height_minus1[ j ] + 1  remainingHeightInCtbsY −= RowHeight[ j ] } firstRemainingHeightInCtbsY = remainingHeightInCtbsY uniformTileRowHeight = tile_row_height_minus1[ num_exp_tile_rows_minus1 ] + 1

-   -   35. It is proposed that firstRemainingHeightInCtbsY shall be         equal to or larger than uniformSliceHeight wherein the variables         firstRemainingHeightInCtbsY and uniformSliceHeight are         calculated as

if( slicWidthInTiles[ i ] = = 1 && sliceHeightInTiles[ i ] = = 1 ) {  if( num_exp_slices_in_tile[ i ] = = 0 ) {   NumSlicesInTile[ i ] = 1   sliceHeightInCtus[ i ] = RowHeight[ SliceTopLeftTileIdx[ i ] / NumTileColumns ]  } else {   remainingHeightInCtbsY = RowHeight[ SliceTopLeftTileIdx[ i ] / NumTileColumns ]   for( j = 0; j < num_exp_slices_in_tile[ i ] − 1; j++ ) {    sliceHeightInCtus[ i + j ] = exp_slice_height_in_ctus_minus1[ i ][ j ] + 1    remainingHeightInCtbsY −= sliceHeightInCtus[ i + j ]   }    firstRemainingHeightInCtbsY = remainingHeightInCtbsY   uniformSliceHeight = exp_slice_height_in_ctus_minus1[ i ][ j ] +1

-   -   36. It is proposed that a syntax element (e.g. denoted as SE_x)         indicating the maximum number of affine merging candidate         allowed to be in the subblock-based merging candidate list.         -   a. In one example, signaling of SE_x is conditioned on             whether affine prediction is enabled or not. For example             SE_x is signaled only if affine prediction is enabled.         -   b. In one example, SE_x is set equal to a default value if             SE_x is not present. For example, SE_x is set equal to a             default value so that the maximum number of affine merging             candidate allowed to be in the subblock-based merging             candidate list is zero.         -   c. In one example, the maximum number of affine merging             candidate allowed to be in the subblock-based merging             canddiate list is set equal to X-SE_x, wherein X is an             integer such as 5.         -   d. In one example, SE_x is not allowed to be larger than X,             wherein X is an integer such as 5.         -   e. In one example, SE_x should be in a range, such as 0 to             X, inclusively, wherein X is an integer such as 5.         -   f In one example, the maximum number of merging candidate             allowed to be in the subblock-based merging canddiate list             (denoted as MaxNumSubblockMergeCand) may be derived based on             SE_x.             -   i. In one example, MaxNumSubblockMergeCand may be                 derived based on SE_x and the maximum number of allowed                 subblock based temporal motion vector prediction                 (sbTMVP) merging candidates.             -   ii. In one example, MaxNumSubblockMergeCand should be in                 a range, such as 0 to X, inclusively, wherein X is an                 integer such as 5.                 -   1) In one example, MaxNumSubblockMergeCand is                     clipped into the range.             -   iii. In one example, MaxNumSubblockMergeCand is not                 allowed to be larger than X, wherein X is an integer                 such as 5.                 -   1) In one example, MaxNumSubblockMergeCand is                     clipped to be no larger than X.             -   iv. In one example, MaxNumSubblockMergeCand is derived                 as MaxNumSubblockMergeCand=Min(5,                 (sps_sbtmvp_enabled_flag &&                 ph_temporal_mvp_enable_flag)+5−five_minus_max_num_affine_merge_cand),                 wherein five_minus_max_num_affine_merge_cand is the                 syntax element SE_x.

6. EMBODIMENTS

In the embodiments below, the added portions are marked as bold, underlined, and italicized texts. The deleted portions are marked within [[ ]].

6.1. Embodiment 1: Example Subpicture Level Slice Index Changes

3 Definitions

-   -   picture-level slice index: [[An]]         index of a slice to the list of slices in a picture in the order         as they are signalled in the PPS when the rect_slice_flag is         equal to 1.     -   [[subpicture-level slice index: An index of a slice to the list         of slices in a subpicture in the order as they are signalled in         the PPS when the rect_slice_flag is equal to 1]]     -   .

6.5.1 CTB Raster Scanning, Tile Scanning, and Subpicture Scanning Processes

[[The list NumSlicesInSubpic[i], specifying the number of rectangular slices in the i-th subpicture,]]

,

,

,

,

,

,

,

,

[[is]] derived as follows:

for(j = 0; j <= sps_num_subpics_minus1; j++ )  NumSlicesInSubpic[ j ] = 0 for( i = 0; i <= num_slices_in_pic_minus1; i++ ) {  posX = CtbAddrInSlice[ i ][ 0 ] % PicWidthInCtbsY  posY = CtbAddrInSlice[ i ][ 0 ] / PicWidthInCtbsY  for( j = 0; j <= sps_num_subpics_minus1; j++ ) {   if(( posX >= subpic_ctu_top_left_x[ j ] ) && (32)     ( posX < subpic_ctu_top_left_x[ j ] + subpic_width_minus1[ j ] + 1 ) &&     ( posY >= subpic_ctu_top_left_y[ j ] ) &&     ( posY < subpic_ctu_top_left_y[ j ] + subpic_height_minus1[ j ] + 1 ) ){    

   

 

   

 

   NumSlicesInSubpic[ j ]++   }  } } ...

7.4.8.1 General Slice Header Semantics

slice_address specifies the slice address of the slice. When not present, the value of slice_address is inferred to be equal to 0. When rect_slice_flag is equal to 1 and NumSlicesInSubpic[CurrSubpicIdx] is equal to 1, the value of slice_address is inferred to be equal to 0. If rect_slice_flag is equal to 0, the following applies:

-   -   The slice address is the raster scan tile index.     -   The length of slice_address is Ceil(Log 2 (NumTilesInPic)) bits.     -   The value of slice_address shall be in the range of 0 to         NumTilesInPic−1, inclusive.         Otherwise (rect_slice_flag is equal to 1), the following         applies:

The slice address is the subpicture-level slice index of the slice

,

-   -   The length of slice_address is Ceil(Log         2(NumSlicesInSubpic[CurrSubpicIdx])) bits.     -   The value of slice_address shall be in the range of 0 to         NumSlicesInSubpic[CurrSubpicIdx]−1, inclusive.

It is a requirement of bitstream conformance that the following constraints apply:

-   -   If rect_slice_flag is equal to 0 or subpic_info_present_flag is         equal to 0, the value of slice_address shall not be equal to the         value of slice_address of any other coded slice NAL unit of the         same coded picture.     -   Otherwise, the pair of slice_subpic_id and slice_address values         shall not be equal to the pair of slice_subpic_id and         slice_address values of any other coded slice NAL unit of the         same coded picture.     -   The shapes of the slices of a picture shall be such that each         CTU, when decoded, shall have its entire left boundary and         entire top boundary consisting of a picture boundary or         consisting of boundaries of previously decoded CTU(s).         -   num_tiles_in_slice_minus1 plus 1, when present, specifies             the number of tiles in the slice. The value of             num_tiles_in_slice_minus1 shall be in the range of 0 to             NumTilesInPic−1, inclusive.         -   The variable NumCtusInCurrSlice, which specifies the number             of CTUs in the current slice, and the list             CtbAddrInCurrSlice[i], for i ranging from 0 to             NumCtusInCurrSlice−1, inclusive, specifying the picture             raster scan address of the i-th CTB within the slice, are             derived as follows:         -   if(rect_slice_flag) {picLevelSliceIdx=             slice_address         -   [[for(j=0; j<CurrSubpicIdx; j++)

   picLevelSliceIdx += NumSlicesInSubpic[ j ]}]   NumCtusInCurrSlice = NumCtusInSlice[ picLevelSliceIdx ]   for( i = 0; i < NumCtusInCurrSlice; i++ )    CtbAddrInCurrSlice[ i ] = CtbAddrInSlice[ picLevelSliceIdx ] [ i ] (117)  } else {   NumCtusInCurrSlice = 0   for( tileIdx = slice address; tileIdx <= slice address + num tiles in slice minus1; tileIdx++ ) {    tileX = tileIdx % NumTileColumns    tileY = tileIdx / NumTileColumns    for( ctbY = tileRowBd[ tileY ]; ctbY < tileRowBd[ tileY + 1 ]; ctbY++) {     for( ctbX = tileColBd[ tileX ]; ctbX < tileColBd[ tileX + 1 ]; ctbX++ ) {      CtbAddrInCurrSlice[ NumCtusInCurrSlice ] = ctbY * PicWidthInCtb + ctbX      NumCtusInCurrSlice++     }    }   }  } ...

6.2. Embodiment 2: Signaling Slices in PPS for Non-Rectangular Mode

7.3.2.4 Picture Parameter Set RBSP Syntax

pic_parameter_set_rbsp( ) { Descriptor  pps_pic_parameter_set_id ue(v)  ...  no_pic_partition_flag u(1)  if( !no_pic_partition_flag ) {   pps_log2_ctu_size_minus5 u(2)   num_exp_tile_columns_minus1 ue(v)   num_exp_tile_rows_minus1 ue(v)   for( i = 0; i <= num_exp_tile_columns_minus1; i++ )    tile_column_width_minus1[ i ] ue(v)   for( i = 0; i <= num_exp_tile_rows_minus1; i++ )    tile_row_height_minus1[ i ] ue(v)   if( NumTilesInPic > 1 )     rect_slice_flag u(1)   if( rect_slice_flag )     single_slice_per_subpic_flag u(1)

 

 

 if( [[rect_slice_flag &&]] !single_slice_per_subpic_flag ) { [[ num_slices_in_pic_minus1 ue(v)]]   if( num_slices_in_pic_minus1 > 0 )    tile_idx_delta_present_flag u(1)   for( i = 0; i < num_slices_in_pic_minus1; i++ ) {    if( NumTileColumns > 1 )     slice_width_in_tiles_minus1[ i ] ue(v)    if( NumTileRows > 1 &&      ( tile_idx_delta_present_flag | | tileIdx % NumTileColumns = = 0 ) )     slice_height_in_tiles_minus1[ i ] ue(v)    if( slice_width_in_tiles_minus1[ i ] = = 0 &&     slice_height_in_tiles_minus1[ i ] = = 0 &&     RowHeight[ SliceTopLeftTileIdx[ i ] / NumTileColumns ] > l ) {    num_exp_slices_in_tile[ i ] ue(v)    numExpSlicesInTile = num_exp_slices_in_tile[ i ]    for( j = 0; j < numExpSlicesInTile; j++ )     exp_slice_height_in_ctus_minus1[ j ] ue(v)    i += NumSlicesInTile[ i ]   }   if( tile_idx_delta_present_flag && i < num_slices_in_pic_minus1 )    tile_idx_delta[ i ] se(v)   }  }  loop_filter_across_tiles_enabled_flag u(1)  loop_filter_across_slices_enabled_flag u(1) }

7.3.7.1 General Slice Header Syntax

slice_header( ) { Descriptor  picture_header_in_slice_header_flag u(1)  if( picture_header_in_slice_header_flag )   picture_header_structure( )  if( subpic_info_present_flag )   slice_subpic_id u(v)  if( ( rect_slice_flag && NumSlicesInSubpic[ CurrSubpicIdx ] > 1 ) | |    ( !rect_slice_flag &&  

 [[NumTilesInPic]] > l ) )   slice_address u(v)  for( I = 0; I < NumExtraPhBits; i++ )   sh_extra_bit[ I ] u(1)  [[if( !rect_slice_flag && NumTilesInPic > 1 )   num_tiles_in_slice_minus1 ue(v)]] if( ph_inter_slice_allowed_flag )   slice_type ue(v) ...

7.4.3.4 Picture Parameter Set RBSP Semantics

num_slices_in_pic_minus1 plus 1 specifies the number of [[rectangular]] slices in each picture referring to the PPS. The value of num_slices_in_pic_minus1 shall be in the range of 0 to MaxSlicesPerPicture−1, inclusive, where MaxSlicesPerPicture is specified in Annex A. When no_pic_partition_flag is equal to 1, the value of num_slices_in_pic_minus1 is inferred to be equal to 0.

.

,

,

.

,

.

,

7.4.8.1 General Slice Header Semantics

slice_address specifies the slice address of the slice. When not present, the value of slice_address is inferred to be equal to 0. When rect_slice_flag is equal to 1 and NumSlicesInSubpic[CurrSubpicIdx] is equal to 1, the value of slice_address is inferred to be equal to 0. When rect_slice_flag is equal to 0 and NumSlicesInPic is equal to 1, the value of slice_address is inferred to be equal to 0 If rect_slice_flag is equal to 0, the following applies:

-   -   The slice address is the         [[raster scan tile index]].     -   The length of slice_address is Ceil(Log 2 (         [[NumfilesInPic]])) bits.     -   The value of slice_address shall be in the range of 0 to         [[NumfilesInPic]]−1, inclusive.         Otherwise (rect_slice_flag is equal to 1), the following         applies:     -   The slice address is the subpicture-level slice index of the         slice.     -   The length of slice_address is Ceil(Log         2(NumSlicesInSubpic[CurrSubpicIdx])) bits.     -   The value of slice_address shall be in the range of 0 to         NumSlicesInSubpic[CurrSubpicIdx]−1, inclusive.         It is a requirement of bitstream conformance that the following         constraints apply:     -   [[If rect_slice_flag is equal to 0 or subpic_info_present_flag         is equal to 0, the value of slice_address shall not be equal to         the value of slice_address of any other coded slice NAL unit of         the same coded picture.     -   Otherwise,]]         , the pair of slice_subpic_id and slice_address values shall not         be equal to the pair of slice_subpic_id and slice_address values         of any other coded slice NAL unit of the same coded picture.     -   The shapes of the slices of a picture shall be such that each         CTU, when decoded, shall have its entire left boundary and         entire top boundary consisting of a picture boundary or         consisting of boundaries of previously decoded CTU(s).         The variable NumCtusInCurrSlice, which specifies the number of         CTUs in the current slice, and the list CtbAddrInCurrSlice[i],         for i ranging from 0 to NumCtusInCurrSlice−1, inclusive,         specifying the picture raster scan address of the i-th CTB         within the slice, are derived as follows:

if( rect slice flag) {  picLevelSliceIdx = sliceaddress  for( j = 0; j < CurrSubpicIdx; j++ )   picLevelSliceIdx += NumSlicesInSubpic[ j ]  NumCtusInCurrSlice = NumCtusInSlice[ picLevelSliceIdx ]  for( i = 0; i < NumCtusInCurrSlice; i++ )   CtbAddrInCurrSlice[ i ] = CtbAddrInSlice[ picLevelSliceIdx ] [ i ] (117) } else {  NumCtusInCurrSlice = 0  for( tileIdx = 

  slice address 

 ; tileIdx [[<=]] 

slice address  

 

 [[num_tiles_in_slice_minus1]]; tileIdx++) {   tileX = tileIdx % NumTileColumns   tileY = tileIdx / NumTileColumns   for( ctbY = tileRowBd[ tileY ]; ctbY < tileRowBd[ tileY + 1 ]; ctbY++ ) {    for( ctbX = tileColBd[ tileX ]; ctbX < tileColBd[ tileX + 1 ]; ctbX++ ) {     CtbAddrInCurrSlice[ NumCtusInCurrSlice ] = ctbY * PicWidthInCtb + ctbX     NumCtusInCurrSlice++    }   }  } }

6.3. Embodiment 3: Signaling Tiles Conditioned on Picture Dimensions

7.3.2.4 Picture Parameter Set RBSP Syntax

pic_parameter_set_rbsp( ) { Descriptor  pps_pic_parameter_set_id ue(v) ...  no_pic_partition_flag u(1)  if( !no_pic_partition_flag ) {   pps_log2_ctu_size_minus5 u(2)   [[num_exp_tile_columns_minus1 ue(v)   num_exp_tile_rows_minus1 ue(v)   for( i = 0; i <= num_exp_tile_columns_minus1; i++ )    tile_column_width_minus1[ i ] ue(v)   for( i = 0; i <= num_exp_tile_rows_minus1; i++ )    tile_row_height_minus1[ i ] ue(v)]]

 

 

 

 

if( NumTilesInPic > 1 )  rect_slice_flag u(1) if( rect_slice_flag )  single_slice_per_subpic_flag u(1) if( rect_slice_flag && !single_slice_per_subpic_flag ) {  num_slices_in_pic_minus1 ue(v)  if( num_slices_in_pic_minus1 > 0 )   tile_idx_delta_present_flag u(1)  for( i = 0; i < num_slices_in_pic_minus1; i++ ) {   if( NumTileColumns > 1 )    slice_width_in_tiles_minus1[ i ] ue(v)   if( NumTileRows > 1 &&    ( tile_idx_delta_present_flag | | tileIdx % NumTileColumns = = 0 ) )   slice_height_in_tiles_minus1[ i ] ue(v)  if( slice_width_in_tiles_minus1[ i ] = = 0 &&   slice_height_in_tiles_minus1[ i ] = = 0 &&   RowHeight[ SliceTopLeftTileIdx[ i ] / NumTileColumns ] > 1 ) {  num_exp_slices_in_tile[ i ] ue(v)  numExpSlicesInTile = num_exp_slices_in_tile[ i ]  for( j = 0; j < numExpSlicesInTile; j++ )    exp_slice_height_in_ctus_minus1[ j ] ue(v)   i += NumSlicesInTile[ i ]  }  if( tile_idx_delta_present_flag && i < num_slices_in_pic_minus1 )    tile_idx_delta[ i ] se(v)    }   }   loop_filter_across_tiles_enabled_flag u(1)   loop_filter_across_slices_enabled_flag u(1)  } ...

6.4. Embodiment 4: Example 1 of Semantics on Tile_Column_Width_Minus1 and Tile_Row_Height_Minus1

7.4.3.4 Picture Parameter Set RBSP Semantics

tile_column_width_minus1[i] plus 1 specifies the width of the i-th tile column in units of CTBs for i in the range of 0 to num_exp_tile_columns_minus1−1, inclusive,

. tile_column_width_minus1[num_exp_tile_columns_minus1] is used to derive the width of the tile columns with index greater than or equal to num_exp_tile_columns_minus1 as specified in clause 6.5.1. The value of tile_column_width_minus1[i] shall be in the range of 0 to PicWidthInCtbsY−1, inclusive. When not present, the value of tile_column_width_minus1[0] is inferred to be equal to PicWidthInCtbsY−1. tile_row_height_minus1[i] plus 1 specifies the height of the i-th tile row in units of CTBs for i in the range of 0 to num_exp_tile_rows_minus1−1, inclusive,

. tile_row_height_minus1[num_exp_tile_rows_minus1] is used to derive the height of the tile rows with index greater than or equal to num_exp_tile_rows_minus1 as specified in clause 6.5.1. The value of tile_row_height_minus1[i] shall be in the range of 0 to PicHeightInCtbsY−1, inclusive. When not present, the value of tile_row_height_minus1[0] is inferred to be equal to PicHeightInCtbsY−1.

6.5. Embodiment 5: Example 2 of Semantics on Tile_Column_Width_Minus1 and Tile_Row_Height_Minus1

7.4.3.4 Picture Parameter Set RBSP Semantics

tile_column_width_minus1[i] plus 1 specifies the width of the i-th tile column in units of CTBs for i in the range of 0 to

, num_exp_tile_columns_minus1−1

, inclusive. tile_column_width_minus1[num_exp_tile_columns_minus1] is used to derive the width of the tile columns with index greater than or equal to num_exp_tile_columns_minus1 as specified in clause 6.5.1. The value of tile_column_width_minus1[i] shall be in the range of 0 to PicWidthInCtbsY−1, inclusive. When not present, the value of tile_column_width_minus1[0] is inferred to be equal to PicWidthInCtbsY−1. tile_row_height_minus1[i] plus 1 specifies the height of the i-th tile row in units of CTBs for i in the range of 0 to

, num_exp_tile_rows_minus1−1

, inclusive. tile_row_height_minus1[num_exp_tile_rows_minus1] is used to derive the height of the tile rows with index greater than or equal to num_exp_tile_rows_minus1 as specified in clause 6.5.1. The value of tile_row_height_minus1[i] shall be in the range of 0 to PicHeightInCtbsY−1, inclusive. When not present, the value of tile_row_height_minus1[0] is inferred to be equal to PicHeightInCtbsY−1.

6.6. Embodiment 6: Example Derivation of CTUs in Slices

6.5 Scanning Processes

6.5.1 CTB Raster Scanning, Tile Scanning, and Subpicture Scanning Processes

For rectangular slices, the list NumCtusInSlice[i] for i ranging from 0 to num_slices_in_pic_minus1, inclusive, specifying the number of CTU in the i-th slice, the list SliceTopLeftTileIdx[i] for i ranging from 0 to num_slices_in_pic_minus1, inclusive, specifying the index of the top-left tile of the slice, and the matrix CtbAddrInSlice[i][j] for i ranging from 0 to num_slices_inpic_minus1, inclusive, and j ranging from 0 to NumCtusInSlice[i]−1, inclusive, specifying the picture raster scan address of the j-th CTB within the i-th slice, are derived as follows:

if( single_slice_per_subpic _flag ) {  for( i = 0; i <= sps_num_subpics_minus1; i++ )   NumCtusInSlice[ i ] = 0  for( i = 0; i < PicSizeInCtbsY; i ++ ) {   sliceIdx = subpic_info_present flag ? CtbToSubpicIdx[ i ] : 0   CtbAddrInSlice[ sliceIdx ][ NumCtusInSlice[ sliceIdx ] ] = i   NumCtusInSlice[ sliceIdx ]++  } } else {  tileIdx = 0  for( i = 0; i <= num_slices_in_pic_minus1; i++ )   NumCtusInSlice[ i ] = 0  for( i = 0; i <= num_slices_in_pic_minus1; i++ ) {   SliceTopLeftTileIdx[ i ] = tileIdx   tileX = tileIdx % NumTileColumns   tileY = tileIdx / NumTileColumns   if( i = = num_slices_in_pic_minus1 ) {    slice_width_in_tiles_minus1[ i ] = NumTileColumns − 1 − tileX    slice_height_in_tiles_minus1[ i ] = NumTileRows − 1 − tileY   }   if( slice_width_in_tiles_minus1[ i ] = = 0 && slice_height_in_tiles_minus1[i] == 0 ){ (29)    ctbY = tileRowBd[ tileY ]    for(j = 0; j < NumSlicesInTile[ i ] − 1; j++ ) {     AddCtbsToSlice( i, tileColBd[ tileX ], tileColBd[ tileX + 1 ],      ctbY, ctbY + SliceHeightInCtusMinus1[ i ] + 1)     ctbY += SliceHeightInCtusMinus1[ i ] + 1     i++    }    AddCtbsToSlice( i, tileColBd[ tileX ], tileColBd[ tileX + 1 ], ctbY, tileRowBd[ tileY + 1 ] )   } else    for( j = 0; j <= slice_height_in_tiles_minus1[ i ]; j++ )     for( k = 0; k <= slice_width_in_tiles_minus1[ i ]; k++ )     AddCtbsToSlice( i, tileColBd[ tileX + k ], tileColBd[ tileX + k + 1 ],      tileRowBd[ tileY + j ], tileRowBd[ tileY + j + 1 ] )   

 

   if( tile_idx_delta_present_flag )     tileIdx += tile_idx_delta[ i ]    else {     tileIdx += slice_width_in_tiles_minus1[ i ] + 1     if( tileIdx % NumTileColumns = = 0 )     tileIdx += slice_height_in_tiles_minus1[ i ]* NumTileColumns    }   

 } }

6.7. Embodiment 7: About Signaling of MER Size

7.3.2.3 Sequence Parameter Set RBSP Syntax

seq_parameter_set_rbsp( ) { Descriptor  sps_seq_parameter_set_id u(4) ...  log2_parallel_merge_level_minus_log2_mincb ue(v) ... }

7.4.3.3 Sequence Parameter Set RBSP Semantics

log 2_parallel_merge_level_minus_log 2_mincb plus log 2_min_luma_coding_block_size_minus2+2 specifies the value of the variable Log 2ParMrgLevel, which is used in the derivation process for spatial merging candidates as specified in clause 8.5.2.3, the derivation process for motion vectors and reference indices in subblock merge mode as specified in clause 8.5.5.2, and to control the invocation of the updating process for the history-based motion vector predictor list in clause 8.5.2.1. The value of log 2_parallel_merge_level_minus_log 2_mincb shall be in the range of 0 to CtbLog 2SizeY−log 2_min_luma_coding_block_size_minus2−2, inclusive. The variable Log 2ParMrgLevel is derived as follows:

Log 2ParMrgLevel=log 2_parallel_merge_level_minus2+log 2_min_luma_coding_block_size_minus2+2  (68)

6.8. Embodiment 8: About Signaling of Rectangular Slices

6.5.1 CTB Raster Scanning, Tile Scanning, and Subpicture Scanning Processes

The list ctbToSubpicIdx[ctbAddrRs] for ctbAddrRs ranging from 0 to PicSizeInCtbsY−1, inclusive, specifying the conversion from a CTB address in picture raster scan to a subpicture index, is derived as follows:

for( ctbAddrRs = 0; ctbAddrRs < PicSizeInCtbsY; ctbAddrRs++ ) {  posX = ctbAddrRs % PicWidthInCtbsY  posY = ctbAddrRs / PicWidthnCtbsY  ctbToSubpicIdx[ ctbAddrRs ] = −1  for( i = 0; ctbToSubpicIdx[ ctbAddrRs ] < 0 && i <= sps_num_subpics_minus1; i++ ) { (29)   if( ( posX >= subpic_ctu_top_left_x[ i ] ) &&    ( posX < subpic_ctu_top_left_x[ i ] + subpic_width_minus1[ i ] + 1 ) &&    ( posY >= subpic_ctu_top_left_y[ i ] ) &&    ( posY < subpic_ctu_top_left_y[ i ] + subpic_height_minus1[ i ] + 1 ) )   ctbToSubpicIdx[ ctbAddrRs ] = i  } }

When rect_slice_flag is equal to 1, the list NumCtusInSlice[i] for i ranging from 0 to num_slices_in_pic_minus1, inclusive, specifying the number of CTUs in the i-th slice, the list SliceTopLeftTileIdx[i] for i ranging from 0 to num_slices_in_pic_minus1, inclusive, specifying the tile index of the tile containing the first CTU in the slice, and the matrix CtbAddrInSlice[i][j] for i ranging from 0 to num_slices_in_pic_minus1, inclusive, and j ranging from 0 to NumCtusInSlice[i]−1, inclusive, specifying the picture raster scan address of the j-th CTB within the i-th slice,

,

,

, are derived as follows:

if( single_slice_per_subpic _flag ) {  for( i = 0; i <= sps_num_subpics_minus1; i++ )   NumCtusInSlice[ i ] = 0  for( i = 0; i < PicSizeInCtbsY; i ++ ) {   sliceIdx = ctbToSubpicIdx[ i ]   CtbAddrInSlice[ sliceIdx ][ NumCtusInSlice[ sliceIdx ] ] = i   NumCtusInSlice[ sliceIdx ]++  } } else {  tileIdx = 0  for( i = 0; i <= num_slices_in_pic_minus1; i++ )   NumCtusInSlice[ i ] = 0  for( i = 0; i <= num_slices_in_pic_minus1; i++ ) {   SliceTopLeftTileIdx[ i ] = tileIdx   tileX = tileIdx % NumTileColumns   tileY = tileIdx / NumTileColumns   

   

 

   

 

  

  

 

  

 

  

  

  if( sliceWidthInTiles[ i ] = = 1 && sliceHeightInTiles[ i ] = = 1 ) { (30)    if( num_exp_slices_in_tile[ i ] = = 0 ) {     NumSlicesInTile[ i ] = 1     

 

 

   }    else {     remainingHeightInCtbsY = RowHeight SliceTopLeftTileIdx[ i ] / NumTileColumns ]     for( j = 0; 

 ; j++ ){      sliceHeightInCtus[  

  ] = exp_slice_height_in_ctus_minus1[ i ][ j ] + 1      remainingHeightInCtbsY −= sliceHeightInCtus [  

  ]     }     uniformSliceHeight = sliceHeightInCtus [  

  - 1 ]     while( remainingHeightInCtbsY >= uniformSliceHeight ) {      sliceHeightInCtus [  

  ] = uniformSliceHeight      remainingHeightInCtbsY −= uniformSliceHeight      j++     }     if( remainingHeightInCtbsY > 0 ) {      sliceHeightInCtus [  

  ] = remainingHeightInCtbsY      j++     }     NumSlicesInTile [ i ] = j    }    ctbY = tileRowBd[ tileY ]    for( j = 0; j < NumSlicesInTile[ i ] − 1; j++ ) {     AddCtbsToSlice( i, tileColBd[ tileX ], tileColBd[ tileX + 1 ],     ctbY, ctbY + sliceHeightInCtus [ i ] )     ctbY += sliceHeightInCtus [ i ]     i++    }    AddCtbsToSlice( i, tileColBd[ tileX ], tileColBd[ tileX + 1 ], ctbY, tileRowBd[ tileY + 1 ] )   } else    for( j = 0; j < sliceHeightInTiles[ i ]; j++ )     for( k = 0; k < sliceWidthInTiles[ i ]; k++ )      AddCtbsToSlice( i, tileColBd[ tileX + k ], tileColBd[ tileX + k + 1 ]       tileRowBd[ tileY + j ], tileRowBd[ tileY + j + 1 ] )  

   if( tile_idx_delta_present flag )     tileIdx += tile_idx_delta[ i ]    else {     tileIdx += sliceWdithInTiles[ i ]     if( tileIdx % NumTileColumns = = 0 )      tileIdx += ( sliceHeightInTiles[ i ] − 1 ) * NumTileColumns    }   

 } } It is a requirement of bitstream conformance that the values of NumCtusInSlice[i] for i ranging from 0 to num_slices_inpic_minus1, inclusive, shall be greater than 0. Additionally, it is a requirement of bitstream conformance that the matrix CtbAddrInSlice[i][j] for i ranging from 0 to num_slices_inpic_minus1, inclusive, and j ranging from 0 to NumCtusInSlice[i]−1, inclusive, shall include each of all CTB addresses in the range of 0 to PicSizeInCtbsY−1, inclusive, once and only once.

7.3.2.4 Picture Parameter Set RBSP Syntax

pic_parameter_set_rbsp( ) { Descriptor  ...   if( rect_slice_flag && !single_slice_per_subpic_flag ) {    num_slices_in_pic_minus1 ue(v)    if( num_slices_in_pic_minus1 > 0 )     tile_idx_delta_present_flag u(1)    for( i = 0; i < num_slices_in_pic_minus1; i++ ) {     if( NumTileColumns > 1 )      slice_width_in_tiles_minus1[ i ] ue(v)     if( NumTileRows > 1 && ( tile_idx_delta_present flag | |      

 % NumTileColumns = = 0 ) )      slice_height_in_tiles_minus1[ i ] ue(v)     if( slice_width_in_tiles_minus1[ i ] = = 0 &&      slice_height_in_tiles_minus1[ i ] = = 0 &&      RowHeight[ SliceTopLeftTileIdx[ i ] / NumTileColumns ] > l ) {     num_exp_slices_in_tile[ i ] ue(v)     for( j = 0; j < num_exp_slices_in_tile[ i ];j++ )      exp_slice_height_in_ctus_minus1

[ j ] ue(v)     i += NumSlicesInTile[ i ] − 1    }    if( tile_idx_delta_present_flag && i < num_slices_in_pic_minus1 )     tile_idx_delta[ i ] se(v)   }  } ... }

7.4.3.4 Picture Parameter Set Semantics

tile_idx_delta_present_flag equal to 0 specifies that tile_idx_delta[i] syntax elements are not present in the PPS and all pictures referring to the PPS are partitioned into rectangular slice rows and rectangular slice columns in slice raster order. tile_idx_delta_present_flag equal to 1 specifies that tile_idx_delta[i] syntax elements may be present in the PPS and all rectangular slices in pictures referring to the PPS are specified in the order indicated by the values of the tile_idx_delta[i] in increasing values of i. When not present, the value of tile_idx_delta_present_flag is inferred to be equal to 0. slice_width_in_tiles_minus1[i] plus 1 specifies the width of the i-th rectangular slice in units of tile columns The value of slice_width_in_tiles_minus1[i] shall be in the range of 0 to NumTileColumns−1, inclusive. When i is less than num_slices_in_pic_minus1 and NumTileColumns is equal to 1, the value of slice_width_in_tiles_minus1[i] is inferred to be equal to 0. slice_height_in_tiles_minus1[i] plus 1 specifies the height of the i-th rectangular slice in units of tile rows when num_exp_slices_in_tile[i] is equal to 0. The value of slice_height_in_tiles_minus1[i] shall be in the range of 0 to NumTileRows−1, inclusive. When i is less than num_slices_in_pic_minus1 and slice_height_in_tiles_minus1[i] is not present, it is inferred to be equal to NumTileRows==1?0:slice_height_in_tiles_minus1[i−1]. num_exp_slices_in_tile[i] specifies the number of explicitly provided slice heights for the slices in the tile containing the i-th slice (i.e., the tile with tile index equal to SliceTopLeftTileIdx[i]). The value of num_exp_slices_in_tile[i] shall be in the range of 0 to RowHeight[SliceTopLeftTileIdx[i]/NumTileColumns]−1, inclusive. When not present, the value of num_exp_slices_in_tile[i] is inferred to be equal to 0.

-   -   ,         .         ,         .         .         ,         .         the_idx_delta[i] specifies         . The value of tile_idx_delta[i] shall be in the range of         −NumTilesInPic+1 to NumTilesInPic−1, inclusive. When not         present, the value of tile_idx_delta[i] is inferred to be equal         to 0. When present, the value of tile_idx_delta[i] shall not be         equal to 0.

6.9. Embodiment 9: About Signaling of Rectangular Slices

6.5.1 CTB Raster Scanning, Tile Scanning, and Subpicture Scanning Processes

When rect_slice_flag is equal to 1, the list NumCtusInSlice[i] for i ranging from 0 to num_slices_in_pic_minus1, inclusive, specifying the number of CTUs in the i-th slice, the list SliceTopLeftTileIdx[i] for i ranging from 0 to num_slices_in_pic_minus1, inclusive, specifying the tile index of the tile containing the first CTU in the slice, and the matrix CtbAddrInSlice[i][j] for i ranging from 0 to num_slices_in_pic_minus1, inclusive, and j ranging from 0 to NumCtusInSlice[i]−1, inclusive, specifying the picture raster scan address of the j-th CTB within the i-th slice, the variable NumSlicesInTile[i], specifying the number of slices in the tile containing the i-th slice (i.e., the tile with tile index equal to SliceTopLeftTileIdx[i]), are derived as follows:

 if( single_slice_per_subpic _flag ) {   for( i = 0; i <= sps_num_subpics_minus1; i++ )    NumCtusInSlice[ i ] = 0   for( i = 0; i < PicSizeInCtbsY; i ++ ) {    sliceIdx = ctbToSubpicIdx[ i ]    CtbAddrInSlice[ sliceIdx ][ NumCtusInSlice[ sliceIdx ] ] = i    NumCtusInSlice[ sliceIdx ]++   }  } else {   tileIdx = 0   for( i = 0; i <= num_slices_in_pic_minus1; i++ )    NumCtusInSlice[ i ] = 0   for( i = 0; i <= num_slices_in_pic_minus1; i++ ) {    SliceTopLeftTileIdx[ i ] = tileIdx    tileX = tileIdx % NumTileColumns    tileY = tileIdx / NumTileColumns    if( i < num_slices_in_pic_minus1 ) {     sliceWidthInTiles[ i ] = slice_width_in_tiles_minus1[ i ] + 1     sliceHeightInTiles[ i ] = slice_height_in_tiles_minus1[ i ] + 1    } else {     sliceWidthInTiles[ i ] = NumTileColumns − tileX     sliceHeightInTiles[ i ] = NumTileRows − tileY     NumSlicesInTile[ i ] = 1    }    if sliceWidthInTiles[ i ] = = 1 && sliceHeightInTiles[ i ] = = 1 ) { (30)     if( num_exp_slices_in_tile[ i ] = = 0 ) {      NumSlicesInTile[ i ] = 1      sliceHeightInCtus[ i ] = RowHeight SliceTopLeftTileIdx[ i ] / NumTileColumns ]     }     else {      remainingHeightInCtbsY = RowHeight SliceTopLeftTileIdx[ i ] / NumTileColumns ]      [[for( j = 0; j < num_exp_slices_in_tile[ i ]; j++ ) { }]      

 

      sliceHeightInCtus[ i + j ] = exp_slice_height_in_ctus_minus1[ i ][ j ] + 1       remainingHeightInCtbsY −= sliceHeightInCtus[ i + j ]      }      [[uniformSliceHeight = sliceheightInCtus[ i + j − 1 ]]]      

       while( remainingHeightInCtbsY >= uniformSliceHeight ) {       sliceHeightInCtus[ i + j ] = uniformSliceHeight       remainingHeightInCtbsY −= uniformSliceHeight       j++      }      if( remainingHeightInCtbsY > 0 ) {       sliceHeightInCtus[ i + j ] = remainingHeightInCtbsY       j++      }      NumSlicesInTile[ i ] = j     }     ctbY = tileRowBd[ tileY ]     for(j = 0; j < NumSlicesInTile[ i ] − 1; j++ ) {      AddCtbsToSlice( i, tileColBd[ tileX ], tileColBd[ tileX + 1 ],       ctbY, ctbY + sliceHeightInCtus[ i ])      ctbY += sliceHeightInCtus[ i ]      i++     }     AddCtbsToSlice( i, tileColBd[ tileX ], tileColBd[ tileX + 1 ], ctbY, tileRowBd[ tileY + 1 ])    } else     for( j = 0; j < sliceHeightInTiles[ i ]; j++ )      for( k = 0; k < sliceWidthInTiles[ i ]; k++ )       AddCtbsToSlice( i, tileColBd[ tileX + k ], tileColBd[ tileX + k + 1 ],        tileRowBd[ tileY + j ], tileRowBd[ tileY + j + 1 ] )    if( i < num_slices_in_pic_minus1 ) {     if( tile_idx_delta_present_flag )      tileIdx += tile_idx_delta[ i ]     else {      tileIdx += sliceWdithInTiles[ i ]      if( tileIdx % NumTileColumns = = 0 )       tileIdx += ( sliceHeightInTiles[ i ] − 1) * NumTileColumns     }    }   }  } ... Alternatively, in the above, the following line:

-   -            is changed to be as follows:

    -   

6.10. Embodiment 10: About Signaling of Subpictures and Tiles

6.5.1 CTB Raster Scanning, Tile Scanning, and Subpicture Scanning Processes

The variable NumTileColumns, specifying the number of tile columns, and the list colWidth[i] for i ranging from 0 to NumTileColumns−1, inclusive, specifying the width of the i-th tile column in units of CTBs, are derived as follows:

remainingWidthInCtbsY = PicWidthInCtbsY for( i = 0; i <= num_exp_tile_columns_minus1; i++ ) { (23)  colWidth[ i ] = tile_column_width_minus1[ i ] + 1  remainingWidthInCtbsY −= colWidth[ i ] } uniformTileColWidth = tile_column_width_minus1[ num_exp_tile_columns_minus1 ] + 1 while( remainingWidthInCtbsY >= uniformTileColWidth) {  colWidth[ i++ ] = uniformTileColWidth  remainingWidthInCtbsY −= uniformTileColWidth } if( remainingWidthInCtbsY > 0 )  colWidth[ i++ ] = remainingWidthInCtbsY NumTileColumns = i

The variable NumTileRows, specifying the number of tile rows, and the list RowHeight[j] for j ranging from 0 to NumTileRows−1, inclusive, specifying the height of the j-th tile row in units of CTBs, are derived as follows:

remainingHeightInCtbsY = PicHeightInCtbsY for(j = 0; j <= num_exp_tile_rows_minus1; j++ ) {  RowHeight[ j ] = tile_row_height_minus1[ j ] + 1  remainingHeightInCtbsY −= RowHeight[ j ] } uniformTileRowHeight = tile_row_height_minus1[ num exp tile rows minus1 ] + 1 (24) while( remainingHeightInCtbsY >= uniformTileRowHeight ) {  RowHeight [ j++ ] = uniformTileRowHeight  remainingHeightInCtbsY −= uniformTileRowHeight } if( remainingHeightInCtbsY > 0 )  RowHeight[ j++ ] = remainingHeightInCtbsY NumTileRows = j

7.3.2.3 Sequence Parameter Set RBSP Syntax

seq_parameter_set_rbsp( ) { Descriptor  ...  if( subpic_info_present_flag ) {   

 

 

  sps_num_subpics_minus1 ue(v)  ... }

7.3.2.4 Picture Parameter Set RBSP Syntax

pic_parameter_set_rbsp( ) { Descriptor  ...  no_pic_partition_flag u(1)  if( !no_pic_partition_flag ) {   pps_log2_ctu_size_minus5 u(2)

 

   num_exp_tile_columns_minus1 ue(v)

 

   num_exp_tile_rows_minus1 ue(v)  for( i = 0; i <= num_exp_tile_columns_minus1  

 

; i++ )    tile_column_width_minus1[ i ] ue(v)   for( i = 0; i <= num_exp_tile_rows  

 

; i++ )    tile_row_height_minus1[ i ] ue(v)  ... }

7.4.3.4 Picture Parameter Set Semantics

num_exp_tile_columns_minus1 plus 1 specifies the number of explicitly provided tile column widths. The value of num_exp_tile_columns_minus1 shall be in the range of 0 to PicWidthInCtbsY−1, inclusive.

,

. num_exp_tile_rows_minus1 plus 1 specifies the number of explicitly provided tile row heights. The value of num_exp_tile_rows_minus1 shall be in the range of 0 to PicHeightInCtbsY−1, inclusive.

,

. tile_column_width_minus1[i] plus 1 specifies the width of the i-th tile column in units of CTBs for i in the range of 0 to

, inclusive. tile_column_width_minus1[num_exp_tile_columns_minus1] is used to derive the width of the tile columns with

num_exp_tile_columns_minus1 as specified in clause 6.5.1. The value of tile_column_width_minus1[i] shall be in the range of 0 to PicWidthInCtbsY−1, inclusive. When not present, the value of tile_column_width_minus1[i] is inferred to be equal to

. tile_row_height_minus1[i] plus 1 specifies the height of the i-th tile row in units of CTBs for i in the range of 0 to

, inclusive. tile_row_height_minus1[num_exp_tile_rows_minus1] is used to derive the height of the tile rows with index

num_exp_tile_rows_minus1 as specified in clause 6.5.1. The value of tile_row_height_minus1[i] shall be in the range of 0 to PicHeightInCtbsY−1, inclusive. When not present, the value of tile_row_height_minus1[i] is inferred to be equal to

.

6.11. Embodiment 11: Example Semantics Changes

exp_slice_height_in_ctus_minus1[i][j] plus 1 specifies the height of the j-th rectangular slice in the tile containing the i-th slice in units of CTU rows,

,

,

.

,

. The value of exp_slice_height_in_ctus_minus1[i][j] shall be in the range of 0 to RowHeight[SliceTopLeftTileIdx[i]/NumTileColumns]−1, inclusive.

6.12. Embodiment 12: Example Conformance Requirements 6.5.1 CTB Raster Scanning, Tile Scanning, and Subpicture Scanning Processes

The variable NumTileColumns, specifying the number of tile columns, and the list colWidth[i] for i ranging from 0 to NumTileColumns−1, inclusive, specifying the width of the i-th tile column in units of CTBs, are derived as follows:

 remainingWidthInCtbsY = PicWidthInCtbsY  for( i = 0; i < num exp tile columns minus1; i++ ) {   colWidth[ i ] = tile_column_width_minus1[ i ] + 1   remainingWidthInCtbsY −= colWidth[ i ]  }  firstRemainingWidthlnCtbsY = remainingWidthInCtbsY  uniformTileColWidth = tile_column_width_minus1[ num exp tile columns minus1 ] + 1 (23)  while( remainingWidthInCtbsY >= uniformTileColWidth ) {   colWidth[ i++ ] = uniformTileColWidth   remainingWidthInCtbsY −= uniformTileColWidth  }  if( remainingWidthInCtbsY > 0 )   colWidth[ i++ ] = remainingWidthInCtbsY  NumTileColumns = i

 

 

 

The variable NumTileRows, specifying the number of tile rows, and the list RowHeight[j] for j ranging from 0 to NumTileRows−1, inclusive, specifying the height of the j-th tile row in units of CTBs, are derived as follows:

 remainingHeightInCtbsY = PicHeightInCtbsY  for( j = 0; j < num exp tile rows minus1; j++ ) {   RowHeight[ j ] = tile_row_height_minus1[ j ] + 1   remainingHeightInCtbsY −= RowHeight[ j ]  }  

 

 uniformTileRowHeight = tile_row_height_minus1[ num exp tile rows minus1 ] + 1 (24)  while( remainingHeightInCtbsY >= uniformTileRowHeight ) {   RowHeight [ j++ ] = uniformTileRowHeight   remainingHeightInCtbsY −= uniformTileRowHeight  }  if( remainingHeightInCtbsY > 0 )   RowHeight j++ ] = remainingHeightInCtbsY  NumTileRows = j

 

 

 

    if( slicWidthInTiles[ i ] = = 1 && sliceHeightInTiles[ i ] = = 1 ) { (30)      if( num_exp_slices_in_tile[ i ] = = 0 ) {       NumSlicesInTile[ i ] = 1       sliceHeightInCtus[ i ] = RowHeight SliceTopLeftTileIdx[ i ] / NumTileColumns ]      } else {       remainingHeightInCtbsY = RowHeight SliceTopLeftTileIdx[ i ] / NumTileColumns ]       for( j = 0; j < num_exp_slices_in_tile[ i ] − 1; j++ ) {       sliceHeightInCtus[ i + j ] = exp_slice_height_in_ctus_minus1[ i ][ j ] + 1       remainingHeightInCtbsY −= sliceHeightInCtus[ i + j ]       }    

 

      uniformSliceHeight = exp_slice_height_in_ctus_minus1[ i ][ j ] + 1       while( remainingHeightInCtbsY >= uniformSliceHeight ) {        sliceHeightInCtus[ i + j ] = uniformSliceHeight       remainingHeightInCtbsY −= uniformSliceHeight         j++       }       if( remainingHeightInCtbsY > 0 ) {       sliceHeightInCtus[ i + j ] = remainingHeightInCtbsY         j++       }       NumSlicesInTile[ i ] = j      }

 

 

 

6.13. Embodiment 12: Example Slice Partitioning Signaling 6.5.1 CTB Raster Scanning, Tile Scanning, and Subpicture Scanning Processes

When rect_slice_flag is equal to 1, the list NumCtusInSlice[i] for i ranging from 0 to num_slices_in_pic_minus1, inclusive, specifying the number of CTUs in the i-th slice[[, the list SliceTopLeftTileIdx[i] for i ranging from 0 to num_slices_in_pic_minus1, inclusive, specifying the tile index of the tile containing the first CTU in the slice,]] and the matrix CtbAddrInSlice[i][j] for i ranging from 0 to num_slices_in_pic_minus1, inclusive, and j ranging from 0 to NumCtusInSlice[i]−1, inclusive, specifying the picture raster scan address of the j-th CTB within the i-th slice, [[and the variable NumSlicesInTile[i], specifying the number of slices in the tile containing the i-th slice,]] are derived as follows:

if( single_slice_per_subpic _flag ) {  for( i = 0; i <= sps_num_subpics_minus1; i++ ) {   NumCtusInSlice[ i ] = 0   if( subpicHeightLessThanOneTileFlag[ i ]) /* The slice consists of a number of CTU rows in a tile. */    AddCtbsToSlice( i, subpic_ctu_top_left_x[ i ],     subpic_ctu_top_left_x[ i ] + subpic_width_minus1[ i ] + 1, subpic_ctu_top_left_y[ i ],     subpic_ctu_top_left_y[ i ] + subpic_height_minus1[ i ] + 1 )   else { /* The slice consists of a number of complete tiles covering a rectangular region. */    tileX = CtbToTileColBd[ subpic_ctu_top_left_x[ i ] ]    tileY = CtbToTileRowBd[ subpic_ctu_top_left_y[ i ] ]    for( j = 0; j < SubpicHeightInTiles[ i ]; j++ )     for( k = 0; k < SubpicWidthInTiles[ i ]; k++ )     AddCtbsToSlice( i, tileColBd[ tileX + k ], tileColBd[ tileX + k + 1 ], tileRowBd[ tileY + j ],     tileRowBd[ tileY + j + 1 ] )   }  } } else {  

 

  

 

   

 

 

 

 

 

 

  

   

 

 

 

 

 

 

 

  

 [[tileIdx = 0  for( i = 0; i <= num_slices_in_pic_minus1; i++ )   NumCtusInSlice[ i ] = 0  for( i = 0; i <= num_slices_in_pic_minus1; i++ ) {   SliceTopLeftTileIdx[ i ] = tileIdx   tileX = tileIdx % NumTileColumns   tileY = tileIdx / NumTileColumns   if( i < num_slices_in_pic_minus1 ) {    sliceWidthInTiles[ i ] = slice_width_in_tiles_minus1[ i ] + 1    sliceHeightInTiles[ i ] = slice_height_in_tiles_minus1[ i ] + 1   } else {    sliceWidthInTiles[ i ] = NumTileColumns − tileX    sliceHeightInTiles[ i ] = NumTileRows − tileY    NumSlicesInTile[ i ] = 1   }   if( slicWidthInTiles[ i ] = = 1 && sliceHeightInTiles[ i ] = = 1 ) { (30)    if( num_exp_slices_in_tile[ i ] = = 0 ) {     NumSlicesInTile[ i ] = 1     sliceHeightInCtus[ i ] = RowHeight SliceTopLeftTileIdx[ i ] / NumTileColumns ]    } else {     remainingHeightInCtbsY = RowHeight SliceTopLeftTileIdx[ i ] / NumTileColumns ]     for( j = 0; j < num_exp_slices_in_tile[ i ] − 1; j++ ) {      sliceHeightInCtus[ i + j ] = exp_slice_height_in_ctus_minus1[ i ][ j ] + 1      remainingHeightInCtbsY −= sliceHeightInCtus[ i + j ]     }     uniformSliceHeight = exp_slice_height_in_ctus_minus1[ i ][ j ] + 1     while( remainingHeightInCtbsY >= uniformSliceHeight ) {      sliceHeightInCtus[ i + j ] = uniformSliceHeight      remainingHeightInCtbsY −= uniformSliceHeight      j++     }     if( remainingHeightInCtbsY > 0 ) {      sliceHeightInCtus[ i + j ] = remainingHeightInCtbsY      j++     }     NumSlicesInTile[ i ] = j    }    ctbY = tileRowBd[ tileY ]    for( j = 0; j < NumSlicesInTile[ i ]; j++ ) {     AddCtbsToSlice( i + j, tileColBd[ tileX ], tileColBd[ tileX + 1 ],       ctbY, ctbY + sliceHeightInCtus[ i + j ] )     ctbY += sliceHeightInCtus[ i + j ]    }    i += NumSlicesInTile[ i ] − 1   } else    for( j = 0; j < sliceHeightInTiles[ i ]; j++ )     for( k = 0; k < sliceWidthInTiles[ i ]; k++ )      AddCtbsToSlice( i, tileColBd[ tileX + k ], tileColBd[ tileX + k + 1 ]       tileRowBd[ tileY + j ], tileRowBd[ tileY + j + 1 ] )   if( i < num_slices_in_pic_minus1 ) {    if( tile_idx_delta_present flag )     tileIdx += tile_idx_delta[ i ]    else {     tileIdx += sliceWidthInTiles[ i ]     if( tileIdx % NumTileColumns = = 0 )      tileIdx += ( sliceHeightInTiles[ i ] − 1 ) * NumTileColumns    }   }  }]] }

Where the function AddCtbsToSlice(sliceIdx, startX, stopX, startY, stopY) is specified as follows:

for( ctbY = startY; ctbY < stopY; ctbY++ )  for( ctbX = starX; ctbX < stopX; ctbX++ ) {   CtbAddrInSlice[ sliceIdx ][ NumCtusInSlice[ sliceIdx ] ] = ctbY * PicWidthInCtbsY + ctbX (31)   NumCtusInSlice[ sliceIdx ]++  }

7.3.2.4 Picture Parameter Set RBSP Syntax

pic_parameter_set_rbsp( ) { Descriptor  pps_pic_parameter_set_id ue(v) ...  no_pic_partition_flag u(1)  if( !no_pic_partition_flag ) {   pps_log2_ctu_size_minus5 u(2)   num_exp_tile_columns_minus1 ue(v)   num_exp_tile_rows_minus1 ue(v)   for( i = 0; i <= num_exp_tile_columns_minus1; i++ )    tile_column_width_minus1[ i ] ue(v)   for( i = 0; i <= num_exp_tile_rows_minus1; i++ )    tile_row_height_minus1[ i ] ue(v)   if( NumTilesInPic > 1 )    rect_slice_flag u(1)   if( rect_slice_flag )    single_slice_per_subpic_flag u(1)   if( rect_slice_flag && !single_slice_per_subpic_flag ) {    num_slices_in_pic_minus1 ue(v)    [[if( num_slices_in_pic_minus1 > 0 )     tile_idx_delta_present_flag u(1)    for( i = 0; i < num_slices_in_pic_minus1; i++ ) {     if( NumTileColumns > 1 )      slice_width_in_tiles_minus1[ i ] ue(v)     if( NumTileRows > 1 && ( tile_idx_delta_present_flag | |       SliceTopLeftTileIdx[ i ] % NumTileColumns = = 0 ) )      slice_height_in_tiles_minus1[ i ] ue(v)     if( slice_width_in_tiles_minus1[ i ] = = 0 &&       slice_height_in_tiles_minus1[ i ] = = 0 &&       RowHeight[ SliceTopLeftTileIdx[ i ] / NumTileColumns ] > l ) {      num_exp_slices_in_tile[ i ] ue(v)      for( j = 0; j < num_exp_slices_in_tile[ i ]; j++ )       exp_slice_height_in_ctus_minus1[ i ][ j ] ue(v)      i += NumSlicesInTile[ i ] − 1     }     if( tile_idx_delta_present_flag && i < num_slices_in_pic_minus1 )      tile_idx_delta[ i ] se(v)    }]]

 

 

 

 

 

 

 

 

  loop_filter_across_tiles_enabled_flag u(1)   loop_filter_across_slices_enabled_flag u(1)  } ... } [[num_slices_in_pic_minus1 plus 1 specifies the number of rectangular slices in each picture referring to the PPS. The value of num_slices_in_pic_minus1 shall be in the range of 0 to MaxSlicesPerPicture−1, inclusive, where MaxSlicesPerPicture is specified in Annex A. When no_pic_partition_flag is equal to 1, the value of num_slices_in_pic_minus1 is inferred to be equal to 0. When single_slice_per_subpic_flag is equal to 1, the value of num_slices_in_pic_minus1 is inferred to be equal to sps_num_subpics_minus1. tile_idx_delta_present_flag equal to 0 specifies that tile_idx_delta[i] syntax elements are not present in the PPS and all pictures referring to the PPS are partitioned into rectangular slice rows and rectangular slice columns in slice raster order. tile_idx_delta_present_flag equal to 1 specifies that tile_idx_delta[i] syntax elements may be present in the PPS and all rectangular slices in pictures referring to the PPS are specified in the order indicated by the values of the tile_idx_delta[i] in increasing values of i. When not present, the value of tile_idx_delta_present_flag is inferred to be equal to 0. slice_width_in_tiles_minus1[i] plus 1 specifies the width of the i-th rectangular slice in units of tile columns The value of slice_width_in_tiles_minus1[i] shall be in the range of 0 to NumTileColumns−1, inclusive. When i is less than num_slices_in_pic_minus1 and NumTileColumns is equal to 1, the value of slice_width_in_tiles_minus1[i] is inferred to be equal to 0. slice_height_in_tiles_minus1[i] plus 1 specifies the height of the i-th rectangular slice in units of tile rows when num_exp_slices_intile[i] is equal to 0. The value of slice_height_in_tiles_minus1[i] shall be in the range of 0 to NumTileRows−1, inclusive. When i is less than num_slices_in_pic_minus1 and slice_height_in_tiles_minus1[i] is not present, it is inferred to be equal to NumTileRows==1?0: slice_height_in_tiles_minus1[i−1]. num_exp_slices_in_tile[i] specifies the number of explicitly provided slice heights for the slices in the tile containing the i-th slice (i.e., the tile with tile index equal to SliceTopLeftTileIdx[i]). The value of num_exp_slices_in_tile[i] shall be in the range of 0 to RowHeight[SliceTopLeftTileIdx[i]/NumTileColumns]−1, inclusive. When not present, the value of num_exp_slices_in_tile[i] is inferred to be equal to 0.

-   -   NOTE 3—If num_exp_slices_in_tile[i] is equal to 0, the tile         containing the i-th slice is not split into multiple slices.         Otherwise (num_exp_slices_in_tile[i] is greater than 0), the         tile containing the i-th slice may or may not be split into         multiple slices.         exp_slice_height_in_ctus_minus1[i][j] plus 1 specifies the         height of the j-th rectangular slice in the tile containing the         i-th slice in units of CTU rows. The value of         exp_slice_height_in_ctus_minus1[i][j] shall be in the range of 0         to RowHeight[SliceTopLeftTileIdx[i]/NumTileColumns]−1,         inclusive.         tile_idx_delta[i] specifies the difference between the tile         index of the tile containing the first CTU in the (i+1)-th         rectangular slice and the tile index of the tile containing the         first CTU in the i-th rectangular slice. The value of         tile_idx_delta[i] shall be in the range of −NumTilesInPic+1 to         NumTilesInPic−1, inclusive. When not present, the value of         tile_idx_delta[i] is inferred to be equal to 0. When present,         the value of tile_idx_delta[i] shall not be equal to 0.]]         ,         ,         .         ,         .         .         ,         ,         .         .         .         ,         .         .         .         .         .         .         ,         .

6.14. Embodiment 12: Example Subblock-Based Merging Candidate List Size Signaling 7.3.2.3 Sequence Parameter Set RBSP Syntax

seq_parameter_set_rbsp( ) { Descriptor ...  sps_affine_enabled_flag u(1)  if( sps_affine_enabled_flag ) {  [[ five_minus_max_num_subblock_merge_cand ]] ue(v)  

 

...

7.4.3.3 Sequence Parameter Set RBSP Semantics

[[five_minus_max_num_subblock_merge_cand specifies the maximum number of subblock-based merging motion vector prediction candidates supported in the SPS subtracted from 5. The value of five_minus_max_num_subblock_merge_cand shall be in the range of 0 to 5, inclusive]]

.

,

.

,

.

7.4.3.7 Picture Header Structure Semantics

ph_temporal_mvp_enabled_flag specifies whether temporal motion vector predictors can be used for inter prediction for slices associated with the PH. If ph_temporal_mvp_enabled_flag is equal to 0, the syntax elements of the slices associated with the PH shall be constrained such that no temporal motion vector predictor is used in decoding of the slices. Otherwise (ph_temporal_mvp_enabled_flag is equal to 1), temporal motion vector predictors may be used in decoding of the slices associated with the PH. When not present, the value of ph_temporal_mvp_enabled_flag is inferred to be equal to 0. When no reference picture in the DPB has the same spatial resolution as the current picture, the value of ph_temporal_mvp_enabled_flag shall be equal to 0.

The maximum number of subblock-based merging MW candidates, MaxNumSubblockMergeCand, is derived as follows:

[[if( sps_affine_enabled_flag )  MaxNumSubblockMergeCand = 5 − five_minus_max_num_subblock_merge_cand (87) else  MaxNumSubblockMergeCand = sps_sbtmvp_enabled_flag && ph_temporal_mvp_enabled_flag

The value of MaxNumSubblockMergeCand shall be in the range of 0 to 5, inclusive]]

,

.

FIG. 7 is a block diagram showing an example video processing system 1900 in which various techniques disclosed herein may be implemented. Various implementations may include some or all of the components of the system 1900. The system 1900 may include input 1902 for receiving video content. The video content may be received in a raw or uncompressed format, e.g., 8 or 10 bit multi-component pixel values, or may be in a compressed or encoded format. The input 1902 may represent a network interface, a peripheral bus interface, or a storage interface. Examples of network interface include wired interfaces such as Ethernet, passive optical network (PON), etc. and wireless interfaces such as wireless fidelity (Wi-Fi) or cellular interfaces.

The system 1900 may include a coding component 1904 that may implement the various coding or encoding methods described in the present document. The coding component 1904 may reduce the average bitrate of video from the input 1902 to the output of the coding component 1904 to produce a coded representation of the video. The coding techniques are therefore sometimes called video compression or video transcoding techniques. The output of the coding component 1904 may be either stored, or transmitted via a communication connected, as represented by the component 1906. The stored or communicated bitstream (or coded) representation of the video received at the input 1902 may be used by the component 1908 for generating pixel values or displayable video that is sent to a display interface 1910. The process of generating user-viewable video from the bitstream representation is sometimes called video decompression. Furthermore, while certain video processing operations are referred to as “coding” operations or tools, it will be appreciated that the coding tools or operations are used at an encoder and corresponding decoding tools or operations that reverse the results of the coding will be performed by a decoder.

Examples of a peripheral bus interface or a display interface may include universal serial bus (USB) or high definition multimedia interface (HDMI) or Displayport, and so on. Examples of storage interfaces include serial advanced technology attachment (SATA), peripheral component interconnect (PCI), integrates drive electronics (IDE) interface, and the like. The techniques described in the present document may be embodied in various electronic devices such as mobile phones, laptops, smartphones or other devices that are capable of performing digital data processing and/or video display.

FIG. 8 is a block diagram of a video processing apparatus 3600. The apparatus 3600 may be used to implement one or more of the methods described herein. The apparatus 3600 may be embodied in a smartphone, tablet, computer, Internet of Things (IoT) receiver, and so on. The apparatus 3600 may include one or more processors 3602, one or more memories 3604 and video processing hardware 3606. The processor(s) 3602 may be configured to implement one or more methods described in the present document. The memory (memories) 3604 may be used for storing data and code used for implementing the methods and techniques described herein. The video processing hardware 3606 may be used to implement, in hardware circuitry, some techniques described in the present document.

FIG. 10 is a block diagram that illustrates an example video coding system 100 that may utilize the techniques of this disclosure.

As shown in FIG. 10 , video coding system 100 may include a source device 110 and a destination device 120. Source device 110 generates encoded video data which may be referred to as a video encoding device. Destination device 120 may decode the encoded video data generated by source device 110 which may be referred to as a video decoding device.

Source device 110 may include a video source 112, a video encoder 114, and an input/output (I/O) interface 116.

Video source 112 may include a source such as a video capture device, an interface to receive video data from a video content provider, and/or a computer graphics system for generating video data, or a combination of such sources. The video data may comprise one or more pictures. Video encoder 114 encodes the video data from video source 112 to generate a bitstream. The bitstream may include a sequence of bits that form a coded representation of the video data. The bitstream may include coded pictures and associated data. The coded picture is a coded representation of a picture. The associated data may include sequence parameter sets, picture parameter sets, and other syntax structures. I/O interface 116 may include a modulator/demodulator (modem) and/or a transmitter. The encoded video data may be transmitted directly to destination device 120 via I/O interface 116 through network 130 a. The encoded video data may also be stored onto a storage medium/server 130 b for access by destination device 120.

Destination device 120 may include an I/O interface 126, a video decoder 124, and a display device 122.

I/O interface 126 may include a receiver and/or a modem. I/O interface 126 may acquire encoded video data from the source device 110 or the storage medium/server 130 b. Video decoder 124 may decode the encoded video data. Display device 122 may display the decoded video data to a user. Display device 122 may be integrated with the destination device 120, or may be external to destination device 120 which be configured to interface with an external display device.

Video encoder 114 and video decoder 124 may operate according to a video compression standard, such as the High Efficiency Video Coding (HEVC) standard, Versatile Video Coding(VVM) standard and other current and/or further standards.

FIG. 11 is a block diagram illustrating an example of video encoder 200, which may be video encoder 114 in the system 100 illustrated in FIG. 10 .

Video encoder 200 may be configured to perform any or all of the techniques of this disclosure. In the example of FIG. 11 , video encoder 200 includes a plurality of functional components. The techniques described in this disclosure may be shared among the various components of video encoder 200. In some examples, a processor may be configured to perform any or all of the techniques described in this disclosure.

The functional components of video encoder 200 may include a partition unit 201, a prediction unit 202 which may include a mode select unit 203, a motion estimation unit 204, a motion compensation unit 205 and an intra prediction unit 206, a residual generation unit 207, a transform unit 208, a quantization unit 209, an inverse quantization unit 210, an inverse transform unit 211, a reconstruction unit 212, a buffer 213, and an entropy encoding unit 214.

In other examples, video encoder 200 may include more, fewer, or different functional components. In an example, prediction unit 202 may include an intra block copy (IBC) unit. The IBC unit may perform prediction in an IBC mode in which at least one reference picture is a picture where the current video block is located.

Furthermore, some components, such as motion estimation unit 204 and motion compensation unit 205 may be highly integrated, but are represented in the example of FIG. 11 separately for purposes of explanation.

Partition unit 201 may partition a picture into one or more video blocks. Video encoder 200 and video decoder 300 may support various video block sizes.

Mode select unit 203 may select one of the coding modes, intra or inter, e.g., based on error results, and provide the resulting intra- or inter-coded block to a residual generation unit 207 to generate residual block data and to a reconstruction unit 212 to reconstruct the encoded block for use as a reference picture. In some example, Mode select unit 203 may select a combination of intra and inter prediction (CIIP) mode in which the prediction is based on an inter prediction signal and an intra prediction signal. Mode select unit 203 may also select a resolution for a motion vector (e.g., a sub-pixel or integer pixel precision) for the block in the case of inter-prediction.

To perform inter prediction on a current video block, motion estimation unit 204 may generate motion information for the current video block by comparing one or more reference frames from buffer 213 to the current video block. Motion compensation unit 205 may determine a predicted video block for the current video block based on the motion information and decoded samples of pictures from buffer 213 other than the picture associated with the current video block.

Motion estimation unit 204 and motion compensation unit 205 may perform different operations for a current video block, for example, depending on whether the current video block is in an I slice, a P slice, or a B slice.

In some examples, motion estimation unit 204 may perform uni-directional prediction for the current video block, and motion estimation unit 204 may search reference pictures of list 0 or list 1 for a reference video block for the current video block. Motion estimation unit 204 may then generate a reference index that indicates the reference picture in list 0 or list 1 that contains the reference video block and a motion vector that indicates a spatial displacement between the current video block and the reference video block. Motion estimation unit 204 may output the reference index, a prediction direction indicator, and the motion vector as the motion information of the current video block. Motion compensation unit 205 may generate the predicted video block of the current block based on the reference video block indicated by the motion information of the current video block.

In other examples, motion estimation unit 204 may perform bi-directional prediction for the current video block, motion estimation unit 204 may search the reference pictures in list 0 for a reference video block for the current video block and may also search the reference pictures in list 1 for another reference video block for the current video block. Motion estimation unit 204 may then generate reference indexes that indicate the reference pictures in list 0 and list 1 containing the reference video blocks and motion vectors that indicate spatial displacements between the reference video blocks and the current video block. Motion estimation unit 204 may output the reference indexes and the motion vectors of the current video block as the motion information of the current video block. Motion compensation unit 205 may generate the predicted video block of the current video block based on the reference video blocks indicated by the motion information of the current video block.

In some examples, motion estimation unit 204 may output a full set of motion information for decoding processing of a decoder.

In some examples, motion estimation unit 204 may not output a full set of motion information for the current video. Rather, motion estimation unit 204 may signal the motion information of the current video block with reference to the motion information of another video block. For example, motion estimation unit 204 may determine that the motion information of the current video block is sufficiently similar to the motion information of a neighboring video block.

In one example, motion estimation unit 204 may indicate, in a syntax structure associated with the current video block, a value that indicates to the video decoder 300 that the current video block has the same motion information as another video block.

In another example, motion estimation unit 204 may identify, in a syntax structure associated with the current video block, another video block and a motion vector difference (MVD). The motion vector difference indicates a difference between the motion vector of the current video block and the motion vector of the indicated video block. The video decoder 300 may use the motion vector of the indicated video block and the motion vector difference to determine the motion vector of the current video block.

As discussed above, video encoder 200 may predictively signal the motion vector. Two examples of predictive signaling techniques that may be implemented by video encoder 200 include advanced motion vector prediction (AMVP) and merge mode signaling.

Intra prediction unit 206 may perform intra prediction on the current video block. When intra prediction unit 206 performs intra prediction on the current video block, intra prediction unit 206 may generate prediction data for the current video block based on decoded samples of other video blocks in the same picture. The prediction data for the current video block may include a predicted video block and various syntax elements.

Residual generation unit 207 may generate residual data for the current video block by subtracting (e.g., indicated by the minus sign) the predicted video block(s) of the current video block from the current video block. The residual data of the current video block may include residual video blocks that correspond to different sample components of the samples in the current video block.

In other examples, there may be no residual data for the current video block for the current video block, for example in a skip mode, and residual generation unit 207 may not perform the subtracting operation.

Transform processing unit 208 may generate one or more transform coefficient video blocks for the current video block by applying one or more transforms to a residual video block associated with the current video block.

After transform processing unit 208 generates a transform coefficient video block associated with the current video block, quantization unit 209 may quantize the transform coefficient video block associated with the current video block based on one or more quantization parameter (QP) values associated with the current video block.

Inverse quantization unit 210 and inverse transform unit 211 may apply inverse quantization and inverse transforms to the transform coefficient video block, respectively, to reconstruct a residual video block from the transform coefficient video block. Reconstruction unit 212 may add the reconstructed residual video block to corresponding samples from one or more predicted video blocks generated by the prediction unit 202 to produce a reconstructed video block associated with the current block for storage in the buffer 213.

After reconstruction unit 212 reconstructs the video block, loop filtering operation may be performed reduce video blocking artifacts in the video block.

Entropy encoding unit 214 may receive data from other functional components of the video encoder 200. When entropy encoding unit 214 receives the data, entropy encoding unit 214 may perform one or more entropy encoding operations to generate entropy encoded data and output a bitstream that includes the entropy encoded data.

FIG. 12 is a block diagram illustrating an example of video decoder 300 which may be video decoder 124 in the system 100 illustrated in FIG. 10 .

The video decoder 300 may be configured to perform any or all of the techniques of this disclosure. In the example of FIG. 12 , the video decoder 300 includes a plurality of functional components. The techniques described in this disclosure may be shared among the various components of the video decoder 300. In some examples, a processor may be configured to perform any or all of the techniques described in this disclosure.

In the example of FIG. 12 , video decoder 300 includes an entropy decoding unit 301, a motion compensation unit 302, an intra prediction unit 303, an inverse quantization unit 304, an inverse transformation unit 305, and a reconstruction unit 306 and a buffer 307. Video decoder 300 may, in some examples, perform a decoding pass generally reciprocal to the encoding pass described with respect to video encoder 200 (FIG. 11 ).

Entropy decoding unit 301 may retrieve an encoded bitstream. The encoded bitstream may include entropy coded video data (e.g., encoded blocks of video data). Entropy decoding unit 301 may decode the entropy coded video data, and from the entropy decoded video data, motion compensation unit 302 may determine motion information including motion vectors, motion vector precision, reference picture list indexes, and other motion information. Motion compensation unit 302 may, for example, determine such information by performing the AMVP and merge mode.

Motion compensation unit 302 may produce motion compensated blocks, possibly performing interpolation based on interpolation filters. Identifiers for interpolation filters to be used with sub-pixel precision may be included in the syntax elements.

Motion compensation unit 302 may use interpolation filters as used by video encoder 200 during encoding of the video block to calculate interpolated values for sub-integer pixels of a reference block. Motion compensation unit 302 may determine the interpolation filters used by video encoder 200 according to received syntax information and use the interpolation filters to produce predictive blocks.

Motion compensation unit 302 may use some of the syntax information to determine sizes of blocks used to encode frame(s) and/or slice(s) of the encoded video sequence, partition information that describes how each macroblock of a picture of the encoded video sequence is partitioned, modes indicating how each partition is encoded, one or more reference frames (and reference frame lists) for each inter-encoded block, and other information to decode the encoded video sequence.

Intra prediction unit 303 may use intra prediction modes for example received in the bitstream to form a prediction block from spatially adjacent blocks. Inverse quantization unit 304 inverse quantizes, i.e., de-quantizes, the quantized video block coefficients provided in the bitstream and decoded by entropy decoding unit 301. Inverse transform unit 305 applies an inverse transform.

Reconstruction unit 306 may sum the residual blocks with the corresponding prediction blocks generated by motion compensation unit 302 or intra-prediction unit 303 to form decoded blocks. If desired, a deblocking filter may also be applied to filter the decoded blocks in order to remove blockiness artifacts. The decoded video blocks are then stored in buffer 307, which provides reference blocks for subsequent motion compensation/intra prediction and also produces decoded video for presentation on a display device.

A listing of solutions preferred by some embodiments is provided next.

The following solutions show example embodiments of techniques discussed in the previous section (e.g., item 1).

1. A video processing method (e.g., method 900 depicted in FIG. 9 ), comprising: performing (902) a conversion between a video comprising one or more video pictures, wherein each video picture comprises one or more subpictures that comprise one or more slices and a coded representation of a video, wherein the coded representation conforms to a format rule; wherein the format rule specifies that, in case that a rectangular slices mode is enabled for a video picture, then a picture-level slice index for each slice in each subpicture in the video picture is derived without explicit signaling in the coded representation; and wherein the format rule specifies that a number of coding tree units in each slice is derivable from the picture-level slice index.

The following solutions show example embodiments of techniques discussed in the previous section (e.g., item 2).

2. A video processing method, comprising: performing a conversion between a video comprising one or more video pictures, wherein each video picture comprises one or more subpictures that comprise one or more slices and a coded representation of a video, wherein the coded representation conforms to a format rule; wherein the format rule specifies that a subpicture level slice index is derivable based on information in the coded representation without signaling the sub-picture level slice index in the coded representation.

3. The method of solution 2, wherein the format rule specifies that, due to use of a rectangular slice structure, the subpicture level slice index corresponds to an index to the slice in a list of slices in a subpicture.

4. The method of solution 2, wherein the format rule specifies that the subpicture level slice index is derived from a particular value of picture-level slice index.

The following solutions show example embodiments of techniques discussed in the previous section (e.g., items 5, 6).

5. A video processing method, comprising: performing a conversion between a video comprising one or more video pictures, wherein each video picture comprises one or more subpictures and/or one or more tiles and a coded representation of a video, wherein the coded representation conforms to a format rule; and wherein the conversion conforms to a constraint rule.

6. The method of solution 5, wherein the constraint rule specifies that a tile cannot be in more than one subpictures.

7. The method of solution 5, wherein the constraint rule specifies that a subpicture cannot include two slices that are smaller than corresponding tiles to which the two slices belong.

The following solutions show example embodiments of techniques discussed in the previous section (e.g., items 7, 8).

8. A video processing method, comprising: performing a conversion between a video comprising one or more video pictures, wherein each video picture comprises one or more tiles and/or one more slices; wherein the coded representation conforms to a format rule; wherein the format rule specifies that a field at a video picture level carries information about portioning of slices and/or tiles in the video picture.

9. The method of solution 8, wherein the field comprises a video picture header.

10. The method of solution 8, wherein the field comprises a picture parameter set.

11. The method of any of solutions 8-10, wherein the format rule specifies to omit slice partitioning information at slice level by including the slice partitioning information in the field at the video picture level.

The following solutions show example embodiments of techniques discussed in the previous section (e.g., item 9).

12. A video processing method, comprising: performing a conversion between a video comprising one or more pictures and a coded representation of the video, wherein the conversion conforms to a partitioning rule that a minimum number of slices in which a video picture is partitioned is a function of whether rectangular partitioning is used for partitioning the video picture.

13. The method of solution 12, wherein the partitioning rule specifies to use at least two slices for non-rectangular partitioning and at least one slice for rectangular partitioning.

14. The method of solution 12, wherein the partitioning rule is also a function of whether and/or how many subpictures are used for partitioning the video picture.

The following solutions show example embodiments of techniques discussed in the previous section (e.g., items 10, 11).

15. A method of video processing, comprising: performing a conversion between a video slice of a video region of a video and a coded representation of the video; wherein the coded representation conforms to a format rule; wherein the format rule specifies that the coded representation signals the video slice based on a top-left location of the video slice and wherein the format rule specifies that the coded representation signals a height and/or a width of the video slice in partitioning information that is signaled at a video unit level.

16. The method of solution 15, wherein the format rule specifies that the video slice is signaled in an order of slices defined by the format rule.

17. The method of solution 15, wherein the video region corresponds to a subpicture and wherein the video unit level corresponds to a video picture.

The following solutions show example embodiments of techniques discussed in the previous section (e.g., item 12).

18. A method of video processing, comprising: performing a conversion between a video comprising video pictures and a coded representation of the video; wherein the coded representation conforms to a format rule; wherein the format rule specifies to omit signaling a difference between a tile index of a first tile in a rectangular slice and a tile index of a first tile in a next rectangular slice.

19. The method of solution 18, wherein the difference is derivable from a zeroth slice in the video picture and the rectangular slice.

The following solutions show example embodiments of techniques discussed in the previous section (e.g., item 13).

20. A video processing method, comprising: performing a conversion between a video and a coded representation of the video, wherein the coded representation conforms to a format rule, wherein the format rule specifies that a relationship between a width of a video picture and a size of a coding tree unit controls signaling of information used for deriving a number of tile columns or rows in the video picture.

21. The method of solution 20, wherein the format rule specifies to exclude signaling a number of tile rows or a number of tile columns in case that the width of the video picture is smaller than or equal to a width of the coding tree unit.

The following solutions show example embodiments of techniques discussed in the previous section (e.g., item 16).

22. A method of video processing, comprising: performing a conversion between a video comprising one or more video pictures and a coded representation of the video, wherein the coded representation conforms to a format rule, wherein the format rule specifies that a tile layout information is included in the coded representation for a video picture that comprises uniform spacing tiles and non-uniform spacing tiles.

23. The method of solution 22, wherein the tile layout information is included in a syntax flag that is included in a picture parameter set.

24. The method of any of solutions 22-23, wherein a number of explicitly signaled number of tile rows or columns is no less than a number of non-uniform spacing tiles.

25. The method of any of solutions 22-23, wherein a number of explicitly signaled number of tile rows or columns is no less than a number of uniform spacing tiles.

26. The method of any of above solutions, wherein the video region comprises a video coding unit.

27. The method of any of above solutions, wherein the video region comprises a video picture.

28. The method of any of solutions 1 to 27, wherein the conversion comprises encoding the video into the coded representation.

29. The method of any of solutions 1 to 27, wherein the conversion comprises decoding the coded representation to generate pixel values of the video.

30. A video decoding apparatus comprising a processor configured to implement a method recited in one or more of solutions 1 to 29.

31. A video encoding apparatus comprising a processor configured to implement a method recited in one or more of solutions 1 to 29.

32. A computer program product having computer code stored thereon, the code, when executed by a processor, causes the processor to implement a method recited in any of solutions 1 to 29.

33. A method, apparatus or system described in the present document.

FIG. 13 is a flowchart representation of a method 1300 for video processing in accordance with the present technology. The method 1300 includes, at operation 1310, performing a conversion between a video picture that comprises one or more tiles and one or more rectangular slices and a bitstream of the video according to a rule. The rule specifies that, for iteratively determining information about the one or more rectangular slices, a variable indicating a tile index is updated only for slices having indices that are smaller than a value that is equal to a number of rectangular slices in the video picture minus 1.

In some embodiments, the variable is not updated for determining information for the last rectangular slice in the video picture. In some embodiments, the determining the information is performed using a picture parameter set referred to by the video picture. In some embodiments, one slice of the one or more rectangular slices has a slice index of i, and the information includes at least one of: a tile index of a tile that includes a first coding tree unit in the slice, a width of the slice, or a height of the slice. In some embodiments, the information includes at least one of: a list of number of coding tree units in the one or more rectangular slices, top left tile indices for the one or more rectangular slices, or addresses a picture raster scan address of a coding tree block within a slice. In some embodiments, updating the variable comprises adding a difference between (1) a first tile index of a first tile including a first coding tree unit in a first slice that has a slice index of (i+1) and (2) a second tile index of a second tile including a first coding tree unit in a second slice that has a slice index of i. In some embodiments, updating the variable comprises adding a width of the slice in units of tile columns. In some embodiments, updating the variable by adding (A−1)*B, wherein A indicates a height of the slice in units of tile rows and B indicates a number of tile columns for the video tile. In some embodiments, a first tile of the one or more tiles comprises at least one rectangular slice, and wherein the information for the at least one rectangular slices includes a height of each of the at least one rectangular slices.

FIG. 14 is a flowchart representation of a method 1400 for video processing in accordance with the present technology. The method 1400 includes, at operation 1410, performing a conversion between a video picture that comprises one or more sub-pictures and a bitstream of the video. The conversion conforms to a rule specifying that a syntax element in a sequence parameter set indicating a number of sub-pictures in the video picture is omitted in case a maximum picture width and a maximum picture height are equal to or smaller than a dimension of a coding tree block.

FIG. 15 is a flowchart representation of a method 1500 for video processing in accordance with the present technology. The method 1500 includes, at operation 1510, performing a conversion between a video picture that comprises one or more tiles and a bitstream of the video. The conversion conforms to a rule specifying that a syntax element that indicates a number of explicitly provided tile column widths is omitted in the bitstream in case a width of the video picture is equal to or smaller than a dimension of a coding tree block.

FIG. 16 is a flowchart representation of a method 1600 for video processing in accordance with the present technology. The method 1600 includes, at operation 1610, performing a conversion between a video picture that comprises one or more tiles and a bitstream of the video. The conversion conforms to a rule specifying that a syntax element that indicates a number of explicitly provided tile row heights is omitted in the bitstream in case a height of the video picture is equal to or smaller than a dimension of a coding tree block.

In some embodiments, the dimension of a coding tree block is indicated by a parameter CtbSizeY. In some embodiments, the number of sub-pictures in the video picture is inferred to be 0.

FIG. 17 is a flowchart representation of a method 1700 for video processing in accordance with the present technology. The method 1700 includes, at operation 1710, performing a conversion between a video picture that comprises one or more tiles and a bitstream of the video. The conversion conforms to a rule specifying that one or more syntax elements indicating column widths of the one or more tiles are omitted in the bitstream in case a number of explicitly provided tile column widths is equal to a picture width in a unit of coding tree blocks. In some embodiments, the column widths of one or more tiles are inferred to be 0.

FIG. 18 is a flowchart representation of a method 1800 for video processing in accordance with the present technology. The method 1800 includes, at operation 1810, performing a conversion between a video picture that comprises one or more tiles and a bitstream of the video. The conversion conforms to a rule specifying that one or more syntax elements indicating row heights of one or more tiles are omitted in the bitstream in case a number of explicitly provided tile row heights is equal to a picture height in a unit of coding tree blocks. In some embodiments, the row heights of one or more tiles are inferred to be 0.

FIG. 19 is a flowchart representation of a method 1900 for video processing in accordance with the present technology. The method 1900 includes, at operation 1910, performing a conversion between a video picture that comprises one or more slices and a bitstream of the video. The conversion conforms to a rule specifying that slice partitioning information is included in the bitstream.

In some embodiments, the slice partitioning information includes a width of a slice of the one or more slices. In some embodiments, the width of the slice is indicated using the width of the slice minus X, where X is a non-negative value. In some embodiments, X is equal to 1, and the width of the slice is indicated using a variable slice_width_minus1[i]. i represents a slice index of the slice. In some embodiments, the slice partitioning information includes a height of a slice of the one or more slices. In some embodiments, the height of the slice is indicated using the height of the slice minus X, wherein X is a non-negative value. In some embodiments, X is equal to 1, and the height of the slice is indicated using a variable slice_height_minus1[i], where i represents a slice index of the slice.

In some embodiments, whether the slice partitioning information includes a top-left location or a dimension of a slice is conditioned based on a characteristic of the slice. In some embodiments, the slice partitioning information includes the top-left location or the dimension of a slice in case the video picture includes one or more rectangular slices. In some embodiments, the characteristic of the slice comprises an index of the slice, a coding tree block dimension associated with the slice, a dimension of the video picture that includes the slice, or a number of slices in the video picture.

In some embodiments, the video picture comprises one or more sub-pictures, wherein whether the slice partitioning information includes a top-left location or a dimension of a slice is conditioned based on a relationship between partitioning of the one or more slices and partitioning of the one or more sub-pictures. In some embodiments, the slice partitioning information includes the top-left location or the dimension of a slice in case at least one of the one or more sub-pictures includes more than one slice.

In some embodiments, whether the slice partitioning information includes a top-left location or a dimension of a slice is conditioned based on a number of slices in the video picture. In some embodiments, the slice partitioning information includes the top-left location or the dimension of a slice to represent the slice in case the number of slices in the video picture is greater than 1. In some embodiments, a top-left location or a dimension of at least one slice is represented in a unit of coding tree unit dimensions or a unit of tile dimensions. In some embodiments, a syntax element is used for the conversion to indicate whether a top-left location or a dimension of at least one slice is represented in a unit of coding tree unit dimensions or a unit of tile dimensions. In some embodiments, the syntax element indicates whether a top-left location or a dimension of each of the one or more slices is represented in a unit of coding tree unit dimensions or a unit of tile dimensions. In some embodiments, the syntax element is slice_represented_in_ctb_flag[i], where i represents an index of a slice.

In some embodiments, at least one of a top-left location or a dimension of a slice is omitted in the slice partitioning information, the top-left location or the dimension of the slice is inferred to a default value. In some embodiments, the default value for the top-left location of the slice comprises (0, 0). In some embodiments, the default value for the dimension of the slice is based on a syntax element slice_represented_in_ctb_flag[i], where i represents an index of the slice. In some embodiments, the default value for a width of the slice is equal to (slice_represented_in_ctb_flag[i]?((pic_width_in_luma_samples+CtbSizeY−1)>>CtbLog 2SizeY):NumTileColumns)−slice_top_left_x[i]−1. In some embodiments, the default value for a height of the slice is equal to (slice_represented_in_ctb_flag[i]?((pic_height_in_luma_samples+CtbSizeY−1)>>CtbLog 2SizeY):NumTileRows)−slice_top_left_y[i]−1.

FIG. 20 is a flowchart representation of a method 2000 for video processing in accordance with the present technology. The method 2000 includes, at operation 2010, performing a conversion between a video tile that comprises one or more rectangular slices and a bitstream of the video according to a rule. The rule specifies that a uniform slice height is determined based on a first syntax element that specifies a height of a rectangular slice in the video tile in units of coding tree unit rows and a second syntax element that specifies a number of explicitly provided slice heights in the video tile.

In some embodiments, the first syntax element is exp_slice_height_in_ctus_minus1[i] and the second syntax element is num_exp_slices_in_tile[i], where i is an index of the rectangular slice, and wherein the uniform slice height is based on exp_slice_height_in_ctus_minus1[i][num_exp_slices_in_tile[i]−1]. In some embodiments, the (num_exp_slices_in_tile[i]−1)-th non-uniform slice height is based on exp_slice_height_in_ctus_minus1[i][num_exp_slices_in_tile[i]−1].

FIG. 21 is a flowchart representation of a method 2100 for video processing in accordance with the present technology. The method 2100 includes, at operation 2110, performing a conversion between a video picture that comprises one or more tiles and a bitstream of the video according to a rule. The rule specifies that a syntax element is equal to or greater than a dimension of a uniform tile column or row, wherein the syntax element indicates a dimension in a unit of coding tree blocks excluding a total dimension of a number of explicitly provided tile column widths or row heights.

In some embodiments, the syntax element is firstRemainingWidthInCtbsY. In some embodiments, the syntax element is firstRemainingHeightInCtbsY.

FIG. 22 is a flowchart representation of a method 2200 for video processing in accordance with the present technology. The method 2200 includes, at operation 2210, performing a conversion between a video tile that comprises one or more slices and a bitstream of the video according to a rule. The rule specifies that a syntax element is equal to or greater than a height of a uniform slice, wherein the syntax element indicates a height in a unit of coding tree blocks excluding a total height of a number of explicitly provided slice heights.

FIG. 23 is a flowchart representation of a method 2300 for video processing in accordance with the present technology. The method 2300 includes, at operation 2310, performing a conversion between a video and a bitstream of the video according to a rule. The rule specifies that a syntax element is used for the conversion to indicate a maximum number of affine merging candidates allowed in a subblock-based merging candidate list.

In some embodiments, whether the syntax element is signaled for the conversion is based on whether an affine prediction tool is enabled or not. In some embodiments, the syntax element is inferred to have a default value in case the syntax element is omitted in the bitstream such that the maximum number of affine merging candidates allowed in the subblock-based merging candidate list is 0. In some embodiments, the maximum number of affine merging candidates allowed in the subblock-based merging candidate list is equal to a difference between five and the syntax element. In some embodiments, the syntax element is in a range of [0, X] inclusive, where X is an integer. In some embodiments, X is 5.

In some embodiments, the syntax element is inferred to be 5 in case the syntax element is omitted in the bitstream. In some embodiments, the maximum number of affine merging candidates allowed in the subblock-based merging candidate list is determined based on the syntax element and a maximum number of allowed subblock-based Temporal Motion Vector Prediction (TMVP) merging candidates. In some embodiments, the maximum number of affine merging candidates allowed in the subblock-based merging candidate list is equal to Min(5, (sps_sbtmvp_enabled_flag && ph_temporal_mvp_enable_flag)+5−five_minus_max_num_affine_merge_cand), wherein five_minus_max_num_affine_merge_cand is the syntax element.

In some embodiments, the conversion includes encoding the video into the bitstream. In some embodiments, the conversion includes decoding the video from the bitstream.

In the solutions described herein, an encoder may conform to the format rule by producing a coded representation according to the format rule. In the solutions described herein, a decoder may use the format rule to parse syntax elements in the coded representation with the knowledge of presence and absence of syntax elements according to the format rule to produce decoded video.

In the present document, the term “video processing” may refer to video encoding, video decoding, video compression or video decompression. For example, video compression algorithms may be applied during conversion from pixel representation of a video to a corresponding bitstream representation or vice versa. The bitstream representation of a current video block may, for example, correspond to bits that are either co-located or spread in different places within the bitstream, as is defined by the syntax. For example, a macroblock may be encoded in terms of transformed and coded error residual values and also using bits in headers and other fields in the bitstream. Furthermore, during conversion, a decoder may parse a bitstream with the knowledge that some fields may be present, or absent, based on the determination, as is described in the above solutions. Similarly, an encoder may determine that certain syntax fields are or are not to be included and generate the coded representation accordingly by including or excluding the syntax fields from the coded representation.

The disclosed and other solutions, examples, embodiments, modules and the functional operations described in this document can be implemented in digital electronic circuitry, or in computer software, firmware, or hardware, including the structures disclosed in this document and their structural equivalents, or in combinations of one or more of them. The disclosed and other embodiments can be implemented as one or more computer program products, i.e., one or more modules of computer program instructions encoded on a computer readable medium for execution by, or to control the operation of, data processing apparatus. The computer readable medium can be a machine-readable storage device, a machine-readable storage substrate, a memory device, a composition of matter effecting a machine-readable propagated signal, or a combination of one or more them. The term “data processing apparatus” encompasses all apparatus, devices, and machines for processing data, including by way of example a programmable processor, a computer, or multiple processors or computers. The apparatus can include, in addition to hardware, code that creates an execution environment for the computer program in question, e.g., code that constitutes processor firmware, a protocol stack, a database management system, an operating system, or a combination of one or more of them. A propagated signal is an artificially generated signal, e.g., a machine-generated electrical, optical, or electromagnetic signal, that is generated to encode information for transmission to suitable receiver apparatus.

A computer program (also known as a program, software, software application, script, or code) can be written in any form of programming language, including compiled or interpreted languages, and it can be deployed in any form, including as a stand-alone program or as a module, component, subroutine, or other unit suitable for use in a computing environment. A computer program does not necessarily correspond to a file in a file system. A program can be stored in a portion of a file that holds other programs or data (e.g., one or more scripts stored in a markup language document), in a single file dedicated to the program in question, or in multiple coordinated files (e.g., files that store one or more modules, sub programs, or portions of code). A computer program can be deployed to be executed on one computer or on multiple computers that are located at one site or distributed across multiple sites and interconnected by a communication network.

The processes and logic flows described in this document can be performed by one or more programmable processors executing one or more computer programs to perform functions by operating on input data and generating output. The processes and logic flows can also be performed by, and apparatus can also be implemented as, special purpose logic circuitry, e.g., a field programmable gate array (FPGA) or an application specific integrated circuit (ASIC).

Processors suitable for the execution of a computer program include, by way of example, both general and special purpose microprocessors, and any one or more processors of any kind of digital computer. Generally, a processor will receive instructions and data from a read only memory or a random-access memory or both. The essential elements of a computer are a processor for performing instructions and one or more memory devices for storing instructions and data. Generally, a computer will also include, or be operatively coupled to receive data from or transfer data to, or both, one or more mass storage devices for storing data, e.g., magnetic, magneto optical disks, or optical disks. However, a computer need not have such devices. Computer readable media suitable for storing computer program instructions and data include all forms of non-volatile memory, media and memory devices, including by way of example semiconductor memory devices, e.g., erasable programmable read-only memory (EPROM), electrically erasable programmable read-only memory (EEPROM), and flash memory devices; magnetic disks, e.g., internal hard disks or removable disks; magneto optical disks; and compact disc, read-only memory (CD ROM) and digital versatile disc read-only memory (DVD-ROM) disks. The processor and the memory can be supplemented by, or incorporated in, special purpose logic circuitry.

While this patent document contains many specifics, these should not be construed as limitations on the scope of any subject matter or of what may be claimed, but rather as descriptions of features that may be specific to particular embodiments of particular techniques. Certain features that are described in this patent document in the context of separate embodiments can also be implemented in combination in a single embodiment. Conversely, various features that are described in the context of a single embodiment can also be implemented in multiple embodiments separately or in any suitable subcombination. Moreover, although features may be described above as acting in certain combinations and even initially claimed as such, one or more features from a claimed combination can in some cases be excised from the combination, and the claimed combination may be directed to a subcombination or variation of a subcombination.

Similarly, while operations are depicted in the drawings in a particular order, this should not be understood as requiring that such operations be performed in the particular order shown or in sequential order, or that all illustrated operations be performed, to achieve desirable results. Moreover, the separation of various system components in the embodiments described in this patent document should not be understood as requiring such separation in all embodiments.

Only a few implementations and examples are described and other implementations, enhancements and variations can be made based on what is described and illustrated in this patent document. 

What is claimed is:
 1. A method of processing video data, comprising: determining, for a conversion between a video comprising a video picture and a bitstream of the video, a scanning process is applied to the video picture, wherein the video picture is partitioned into one or more tiles, one or more slices, and multiple coding tree units; determining, in the scanning process, when a rectangular slice mode is in use for the video picture, a variable indicating a tile index of a tile containing a first coding tree unit in a slice with a picture-level slice index is updated when the picture-level slice index is less than a value of a first syntax element and is not updated when the picture-level slice index is no less than the value of the first syntax element; and performing the conversion based on the determining, wherein the first syntax element is included in a picture parameter set referred to by the video picture in the bitstream for deriving information about one or more slices in the video picture, and a number of slices in the video picture is greater than the value of the first syntax element.
 2. The method of claim 1, wherein for a first slice with a picture-level slice index less than the value of the first syntax element, a width of the first slice in units of tile columns is derived from a second syntax element corresponding to the first slice in the picture parameter set, and a height of the first slice in units of tile rows is derived from a third syntax element corresponding to the first slice in the picture parameter set when the tile containing the first slice is not split into multiple slices, and wherein for a second slice with a picture-level slice index no less than the value of the first syntax element, a width of the second slice in units of tile columns is derived from a difference between a number of tile columns and tileX, and a height of the second slice in units of tile rows is derived from a number of tile rows and tileY, where tileX and tileY are determined based on the number of tile columns.
 3. The method of claim 1, wherein the slice has a picture-level slice index of i, where i is an integer, and wherein updating the variable comprises adding a difference between a first tile index of a first tile including the first coding tree unit in a slice having an index of (i+1) and the tile index of the tile including the first coding tree unit in the slice having the index of i.
 4. The method of claim 3, wherein the difference is specified by a second syntax element included in the picture parameter set for the slice, wherein the second syntax element is not present in the picture parameter set for the slice having the index of i when the index of i is no less than the value of the first syntax element, and wherein updating the variable comprises adding the difference in response to the second syntax element being present in the picture parameter set.
 5. The method of claim 4, wherein when the second syntax element is not present in the picture parameter set, updating the variable comprises adding a width of the slice having the index of i, and wherein the width is represented in units of tile columns.
 6. The method of claim 5, wherein when tileIdx % B is equal to 0, updating the variable comprises adding (A−1)*B, where tileIdx denotes the variable, where A is a height of the slice having the index of i in units of tile rows, where B is a number of tile columns in the video picture, and where % denotes a modulus operator.
 7. The method of claim 1, wherein a width and a height of the slice are specified by one or more syntax elements included in the bitstream when the value of the first syntax element is greater than
 0. 8. The method of claim 7, wherein the width of the slice is represented in units of tile columns, and the height of a second slice is represented in units of tile rows.
 9. The method of claim 1, wherein the value of the first syntax element plus 1 specifies a number of rectangular slices in the video picture.
 10. The method of claim 1, wherein the conversion includes encoding the video into the bitstream.
 11. The method of claim 1, wherein the conversion includes decoding the video from the bitstream.
 12. An apparatus for processing video data comprising a processor and a non-transitory memory with instructions thereon, wherein the instructions upon execution by the processor, cause the processor to: determine, for a conversion between a video comprising a video picture and a bitstream of the video, a scanning process is applied to the video picture, wherein the video picture is partitioned into one or more tiles, one or more slices, and multiple coding tree units; determine, in the scanning process, when a rectangular slice mode is in use for the video picture, a variable indicating a tile index of a tile containing a first coding tree unit in a slice with a picture-level slice index is updated when the picture-level slice index is less than a value of a first syntax element and is not updated when the picture-level slice index is no less than the value of the first syntax element; and perform the conversion based on the determining, wherein the first syntax element is included in a picture parameter set referred to by the video picture in the bitstream for deriving information about one or more slices in the video picture, and a number of slices in the video picture is greater than the value of the first syntax element.
 13. The apparatus of claim 12, wherein for a first slice with a picture-level slice index less than the value of the first syntax element, a width of the first slice in units of tile columns is derived from a second syntax element corresponding to the first slice in the picture parameter set, and a height of the first slice in units of tile rows is derived from a third syntax element corresponding to the first slice in the picture parameter set when the tile containing the first slice is not split into multiple slices, and wherein for a second slice with a picture-level slice index no less than the value of the first syntax element, a width of the second slice in units of tile columns is derived from a difference between a number of tile columns and tileX, and a height of the second slice in units of tile rows is derived from a number of tile rows and tileY, where tileX and tileY are determined based on the number of tile columns.
 14. The apparatus of claim 12, wherein the slice has a picture-level slice index of i, where i is an integer, and wherein updating the variable comprises adding a difference between a first tile index of a first tile including the first coding tree unit in a slice having an index of (i+1) and the tile index of the tile including the first coding tree unit in the slice having the index of i.
 15. The apparatus of claim 14, wherein the difference is specified by a second syntax element included in the picture parameter set for the slice, wherein the second syntax element is not present in the picture parameter set for the slice having the index of i when the index of i is no less than the value of the first syntax element, and wherein updating the variable comprises adding the difference in response to the second syntax element being present in the picture parameter set.
 16. The apparatus of claim 15, wherein when the second syntax element is not present in the picture parameter set, updating the variable comprises adding a width of the slice having the index of i, and wherein the width is represented in units of tile columns.
 17. A non-transitory computer-readable storage medium storing instructions that cause a processor to: determine, for a conversion between a video comprising a video picture and a bitstream of the video, a scanning process is applied to the video picture, wherein the video picture is partitioned into one or more tiles, one or more slices, and multiple coding tree units; determine, in the scanning process, when a rectangular slice mode is in use for the video picture, a variable indicating a tile index of a tile containing a first coding tree unit in a slice with a picture-level slice index is updated when the picture-level slice index is less than a value of a first syntax element and is not updated when the picture-level slice index is no less than the value of the first syntax element; and perform the conversion based on the determining, wherein the first syntax element is included in a picture parameter set referred to by the video picture in the bitstream for deriving information about one or more slices in the video picture, and a number of slices in the video picture is greater than the value of the first syntax element.
 18. The non-transitory computer-readable storage medium of claim 17, wherein for a first slice with a picture-level slice index less than the value of the first syntax element, a width of the first slice in units of tile columns is derived from a second syntax element corresponding to the first slice in the picture parameter set, and a height of the first slice in units of tile rows is derived from a third syntax element corresponding to the first slice in the picture parameter set when the tile containing the first slice is not split into multiple slices, and wherein for a second slice with a picture-level slice index no less than the value of the first syntax element, a width of the second slice in units of tile columns is derived from a difference between a number of tile columns and tileX, and a height of the second slice in units of tile rows is derived from a number of tile rows and tileY, where tileX and tileY are determined based on the number of tile columns.
 19. A non-transitory computer-readable recording medium storing a bitstream of a video which is generated by a method performed by a video processing apparatus, wherein the method comprises: determining, for a video comprising a video picture, a scanning process is applied to the video picture, wherein the video picture is partitioned into one or more tiles, one or more slices, and multiple coding tree units; determining, in the scanning process, when a rectangular slice mode is in use for the video picture, a variable indicating a tile index of a tile containing a first coding tree unit in a slice with a picture-level slice index is updated when the picture-level slice index is less than a value of a first syntax element and is not updated when the picture-level slice index is no less than the value of the first syntax element; and generating the bitstream based on the determining, wherein the first syntax element is included in a picture parameter set referred to by the video picture in the bitstream for deriving information about one or more slices in the video picture, and a number of slices in the video picture is greater than the value of the first syntax element.
 20. The non-transitory computer-readable recording medium of claim 19, wherein for a first slice with a picture-level slice index less than the value of the first syntax element, a width of the first slice in units of tile columns is derived from a second syntax element corresponding to the first slice in the picture parameter set, and a height of the first slice in units of tile rows is derived from a third syntax element corresponding to the first slice in the picture parameter set when the tile containing the first slice is not split into multiple slices, and wherein for a second slice with a picture-level slice index no less than the value of the first syntax element, a width of the second slice in units of tile columns is derived from a difference between a number of tile columns and tileX, and a height of the second slice in units of tile rows is derived from a number of tile rows and tileY, where tileX and tileY are determined based on the number of tile columns. 